| 主权项 |
1. A method performed using one or more computers comprising:
receiving a design model for a dynamic system, the design model specifying at least one floating-point variable, obtaining a design range for the at least one floating-point variable; simulating the design model using one or more test bench stimuli to obtain a simulation range for the at least one floating-point variable; performing a static analysis of the design model using either the design range or the simulation range as inputs, to determine a static range for the at least one floating-point variable; automatically determining, using the one or more computers, at least one proposed fixed-point variable type to represent the at least one floating-point variable, the automatic determining using at least one of the simulation range and the static range; and generating a list of one or more floating-point variables from the design model and including, for each floating-point variable in the list of one or more floating-point variables: a simulation range including minimum and maximum values resulting from the simulating the design model; a static range including minimum and maximum values resulting from the determining static ranges from the design model; and a proposed fixed-point variable type. |
