Back to results
US 2003/0154061 A1Published application
Method for semi-automatic generation and behavioral comparison of models
AssigneeFTL Systems, Inc.
InventorJohn Christopher Willis
Life of this patent
Estimating the term…
Loading patent…
Loading patent…
AssigneeFTL Systems, Inc.
InventorJohn Christopher Willis
Estimating the term…
A method is taught for increasing the steady-state verification speed of analog and mixed signal design through increased simulation speed, model abstraction by probing an existing component model or actual device and formal comparison of distinct component models. The innovative method taught here incrementally generates processor instructions optimized for operating the analog solver around a specific set of values (the operating context), caches sequences and applies the currently applicable operating context at each point in the simulation. The invention discloses a method for semi-automatically generating a mixed-signal or analog model based on iterative probing of an existing device or behavioral simulation. The invention teaches a method for model abstraction to alter the level of detail present in a running simulation. A means for graphically evaluating the match quality constitutes the final innovative step. The innovative method for the formal comparison of two analog or mixed signal models within a prescribed operating range for each interface between the model and its environment without the need for exhaustive simulation.
A method for increasing the steady-state simulation speed when simulating a design with analog, mixed-signal or full-wave components wherein intructions for a general purpose processor are compiled on demand specific to particular linearized operating points.
A method for semi-automatically. generating a mixed-signal or analog model based on iterative probing of an existing device or behavioral model, the method consisting of (1) means of initially characterizing the existing device or simulation (2) means of matching with one or more pre-existing or dynamically generated templates (3) means of equation and parameter adjustment (4) means of comparison between adjusted template and existing device or behavioral simulation.
A method for the formal comparison of two analog or mixed-signal component models, the method consisting of (1) means of compiling each into a canonical intermediate form (2) means of determining a best-fit mapping between the canonical intermediate format resulting from compilation of the reference and comparison model and (3) means of displaying the relevant differences and significance of differences between the two models.
Dependencies are inferred from the claim text.