US5574893A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Computer logic simulation with dynamic modeling
Assignee: Altera Corp
•
Filing: 1995-08-08
•
Granted: 1996-11-12
•
Expires: 2015-08-08
Abstract
Abstract A method for improving the performance of a computer logic simulator in a computer system in which the operation of a logic design is simulated by converting a network list representative of the logic design into a simulator netlist and applying predetermined input vectors to the simulator netlist representative of the logic design in order to generate output vectors representative of the response of the simulator netlist. Portions of the network list are converted to dynamic device models in the form of executable code, which is assembled in a dynamic device model file. The remaining portions of the network list are converted to a simulator netlist, which is stored in a simulator netlist file. Both the dynamic device models and the simulator netlist are used to perform the simulation process. Since the dynamic device models are in the form of executable code, which can be directly read during the simulation process, the speed of operation of the simulation process is substantially increased, with a corresponding reduction in the total processing time required. In addition, the size of the simulator netlist is substantially reduced.
Inventors
- 👤 Timothy J. Southgate
- 👤 II James G. Schleicher
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-07 23:52
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/33
Claims Analysis
Total Claims: 10
Claim 1
Independent Claim
193 words
A method for improving the performance of computer logic simulation in a computer system in which the operation of a logic design is simulated by compiling a network list representative of the logic design to obtain a simulator network list and applying predetermined input vectors to the simulator network list representative of the logic design in order to generate output vectors representative of the response of the simulator network list, said method comprising the steps of: (A) identifying one or more portions of the network list; (B) preventing the identified portions from the network list from being compiled to produce a modified network list; (C) creating one or more dynamic device models in the form of executable code to perform the simulation of one or more of the identified portions, wherein one or more of the dynamic device models can be used to more quickly simulate the compiled portion of the network it replaces; (D) compiling the compilable portions of the modified network list to produce a simulator network list; and (E) using both the dynamic device models and the simulator network list to perform the simulation process, thereby speeding up the simulation.
Claim 2
Independent Claim
193 words
A method for improving the performance of computer logic simulation in a computer system in which the operation of a logic design is simulated by compiling a network list representative of the logic design to obtain a simulator network list and applying predetermined input vectors to the simulator network list representative of the logic design in order to generate output vectors representative of the response of the simulator network list, said method comprising the steps of: (A) identifying one or more portions of the network list; (B) preventing the identified portions from the network list from being compiled to produce a modified network list; (C) creating one or more dynamic device models in the form of executable code to perform the simulation of one or more of the identified portions, wherein one or more of the dynamic device models can be used to more quickly simulate the compiled portion of the network it replaces; (D) compiling the compilable portions of the modified network list to produce a simulator network list; and (E) using both the dynamic device models and the simulator network list to perform the simulation process, thereby speeding up the simulation.
Claim 3
Dependent Claim
62 words
The method of claim 1, wherein said network list includes a plurality of individual networks at least some of which are coupled to operationally non-replaceable keeper nodes; and wherein said step (C) of creating includes the steps of: (I) identifying all keeper nodes, and (II) selectively replacing individual networks coupled to at least some of said keeper nodes with dynamic device models.
Claim 4
Dependent Claim
94 words
The method of claim 2, wherein said step (II) of selectively replacing includes the steps of: (a) identifying those networks to be replaced by a dynamic device model, including: (i) tracing through a given network between all sources to that network and the associated keeper node; (ii) determining the total number of logic elements encountered in step (i); and (iii) selecting the network for replacement with a dynamic device model if the total number exceeds a preselected value; and (b) forming a dynamic device model corresponding to each such network identified in step (a).
Claim 5
Dependent Claim
43 words
The method of claim 3, wherein said step (b) of forming includes the steps recursively generating a decision diagram for all devices in the given network, converting each decision diagram into executable code, and assembling the code in a dynamic device model file.
Claim 6
Dependent Claim
22 words
The method of claim 1 wherein in step (E), the simulator network list is evaluated using interpretive operations during the simulation process.
Claim 7
Dependent Claim
22 words
The method of claim 1 wherein in step (E), the dynamic device models are evaluated using executable code during the simulation process.
Claim 8
Independent Claim
114 words
A method of reducing the size of a simulator netlist used to simulate the operation of a logic design represented by an initial network list having one or more individual networks from which the simulator netlist is compiled, the initial network list including operationally non-replaceable keeper nodes, said method comprising the steps of: (I) identifying all keeper nodes; (II) selectively preventing from compilation individual networks coupled to at least some of said keeper nodes to create a modified network list; (III) creating dynamic device models in the form of executable code to perform the simulation of the removed individual networks; and (IV) assembling the executable code from step (III) in a dynamic model file.
Claim 9
Independent Claim
114 words
A method of reducing the size of a simulator netlist used to simulate the operation of a logic design represented by an initial network list having one or more individual networks from which the simulator netlist is compiled, the initial network list including operationally non-replaceable keeper nodes, said method comprising the steps of: (I) identifying all keeper nodes; (II) selectively preventing from compilation individual networks coupled to at least some of said keeper nodes to create a modified network list; (III) creating dynamic device models in the form of executable code to perform the simulation of the removed individual networks; and (IV) assembling the executable code from step (III) in a dynamic model file.
Claim 10
Dependent Claim
35 words
The method of claim 7, wherein said step (III) of creating includes the steps of recursively generating a decision diagram for all devices in the given network, and converting each decision diagram into executable code.
References Cited (Backward Citations)
US4527249A
Cited
US4937770A
Cited
US4831543A
Cited
US4922445A
Cited
US4939681A
Cited
US5301318A
Cited
US5351197A
Cited
US5068812A
Cited
US5105373A
Cited
US5163016A
Cited
US5084824A
Cited
US5220512A
Cited
US5258932A
Cited
US5278769A
Cited
US5301315A
Cited
US5297066A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1999-11-12 | 2000-05-13 | 2000-11-12 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2003-11-12 | 2004-05-13 | 2004-11-12 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2007-11-12 | 2008-05-13 | 2008-11-12 | $7700.00 | Window Closed / Lapsed |