US5051941A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Method and apparatus for logical simulation
Assignee: Hitachi Ltd
•
Filing: 1990-02-12
•
Granted: 1991-09-24
•
Expires: 2010-02-12
Abstract
Abstract A method of logic simulation for simulating operation of a logic circuit by using basic signal values corresponding to states of output signals of elements of the logic circuit to be simulated and expanded signal values including the basic signal values. The logic circuit to be simulated is divided into a portion to be simulated by using the basic signal values and the expanded signal values and a portion to be simulated by using the basic signal values without using the expanded signal values. The elements for which definition of calculation method for output signal values for the input signal values including the expanded signal values is not easy are included in the latter portion, and other elements are included in the former portion. A virtual signal conversion element for converting the expanded signal into the basic signal is provided at a position where a signal is sent from the former portion to the latter portion so that the expanded signal value outputted from the element of the former portion is converted into the basic signal value before it is sent to the element of the latter portion.
Inventors
- 👤 Yoshio Takamine
- 👤 Shunsuke Miyamoto
- 👤 Takayuki Nakagawa
- 👤 Yoshiharu Kazama
- 👤 Yoshiaki Kinoshita
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-03 06:28
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/33
Claims Analysis
Total Claims: 16
Claim 1
Independent Claim
223 words
In a logic simulation system, a method of simulating operation of a logic circuit which includes a plurality of circuit elements, comprising the steps of: providing a logic table which includes a plurality of records, wherein conversion elements are correspondingly associated with circuit elements of a predetermined type to convert input signal values to be inputted to a circuit element of a predetermined type by an associated conversion element into output signal values which are inputted to said circuit element of said predetermined type as said input signal values, each record corresponding to one of said plurality of circuit elements or one of said conversion elements, each record including information representing operation results of a corresponding circuit element or a corresponding conversion element and associating said each record with other records to represent in said logic table the connections of said circuit elements and said conversion elements; simulating operation of said logic circuit by referring to said plurality of records in accordance with said connections of said circuit elements and said conversion elements; and producing output signal values of a conversion element associated with a predetermined type of circuit element when a record being referred to corresponds to said predetermined type of circuit element and when input signal values to be inputted to said circuit element of said predetermined type are clock signals.
Claim 2
Dependent Claim
223 words
In a logic simulation system, a method of simulating operation of a logic circuit which includes a plurality of circuit elements, comprising the steps of: providing a logic table which includes a plurality of records, wherein conversion elements are correspondingly associated with circuit elements of a predetermined type to convert input signal values to be inputted to a circuit element of a predetermined type by an associated conversion element into output signal values which are inputted to said circuit element of said predetermined type as said input signal values, each record corresponding to one of said plurality of circuit elements or one of said conversion elements, each record including information representing operation results of a corresponding circuit element or a corresponding conversion element and associating said each record with other records to represent in said logic table the connections of said circuit elements and said conversion elements; simulating operation of said logic circuit by referring to said plurality of records in accordance with said connections of said circuit elements and said conversion elements; and producing output signal values of a conversion element associated with a predetermined type of circuit element when a record being referred to corresponds to said predetermined type of circuit element and when input signal values to be inputted to said circuit element of said predetermined type are clock signals.
Claim 3
Dependent Claim
72 words
A method according to claim 1, wherein, when an input signal value inputted to said conversion element is one of a plurality of basic input signal values, an output signal value of said conversion element is said input signal value and when an input signal value inputted to said conversion element is a clock signal, an output signal value of said conversion element is determined in accordance with a current clock signal.
Claim 4
Dependent Claim
31 words
A method according to claim 2, wherein each record includes input pointers and output pointers, and said connections are represented by the input pointers and the output pointers of each record.
Claim 5
Dependent Claim
45 words
A method according to claim 2, wherein each record includes data indicating whether a circuit element corresponding to said each record is of a predetermined type, and said producing step comprises the substep of determining the predetermined type of said circuit element from said data.
Claim 6
Dependent Claim
149 words
A method according to claim 2, wherein the providing step includes the substep of: providing an event table and a conversion event table; and wherein said simulating step includes the substeps of registering in said event table a pointer which points to a circuit element corresponding to a record to be referred to next as a next circuit element, when said record being referred to does not correspond to a circuit element of a predetermined type, selecting said next circuit element in accordance with contents of said event table, registering in said conversion event table a pointer which points to a conversion element when a record being referred to corresponds to a circuit element of a predetermined type and when an input signal of said circuit element of said predetermined type includes a clock signal, and selecting a conversion element in accordance with contents of said conversion event table.
Claim 7
Dependent Claim
36 words
A method according to claim 5, wherein said producing step includes the step of: referring to a conversion table to obtain operation results when said record being referred to corresponds to one of said conversion elements.
Claim 8
Dependent Claim
19 words
A method according to claim 1, wherein said simulating step is started when said input signal values are changed.
Claim 9
Dependent Claim
223 words
A simulation system for simulating operation of a logic circuit which includes a plurality of circuit elements, comprising: memory means for storing a logic table which includes a plurality of records, wherein conversion elements are correspondingly associated with circuit elements of a predetermined type to connect input signal values to be inputted to a circuit element of a predetermined type by an associated conversion element into output signal values which are inputted to said circuit element of said predetermined type as said input signal values, each record corresponding to one of said plurality of circuit elements or one of said conversion elements, each record including information representing operation results of a corresponding circuit element or a corresponding conversion element and associating said each record with other records to represent in said logic table the connections of said circuit elements and said conversion elements; and simulation means for referring to said plurality of records in accordance with said connections for simulation of the operation of said logic circuit, said simulation means including producing means for producing output signal values of a conversion element associated with a predetermined type of circuit element when a record being referred to corresponds to said predetermined type of circuit element and when input signal values to be inputted to said circuit element of said predetermined type are clock signals.
Claim 10
Dependent Claim
223 words
A simulation system for simulating operation of a logic circuit which includes a plurality of circuit elements, comprising: memory means for storing a logic table which includes a plurality of records, wherein conversion elements are correspondingly associated with circuit elements of a predetermined type to connect input signal values to be inputted to a circuit element of a predetermined type by an associated conversion element into output signal values which are inputted to said circuit element of said predetermined type as said input signal values, each record corresponding to one of said plurality of circuit elements or one of said conversion elements, each record including information representing operation results of a corresponding circuit element or a corresponding conversion element and associating said each record with other records to represent in said logic table the connections of said circuit elements and said conversion elements; and simulation means for referring to said plurality of records in accordance with said connections for simulation of the operation of said logic circuit, said simulation means including producing means for producing output signal values of a conversion element associated with a predetermined type of circuit element when a record being referred to corresponds to said predetermined type of circuit element and when input signal values to be inputted to said circuit element of said predetermined type are clock signals.
Claim 11
Dependent Claim
72 words
A system according to claim 8, wherein, when an input signal value inputted to said conversion element is one of a plurality of basic input signal values, an output signal value of said conversion element is said input signal value and when an input signal value inputted to said conversion element is a clock signal, an output signal value of said conversion element is determined in accordance with a current clock signal.
Claim 12
Dependent Claim
31 words
A system according to claim 9, wherein each record includes input pointers and output pointers, and said connections are represented by said input pointers and said output pointers of each record.
Claim 13
Dependent Claim
44 words
A system according to claim 9, wherein each record includes data indicating whether a circuit element corresponding to said each record is of a predetermined type, and said producing means includes means for determining the predetermined type of said circuit element from said data.
Claim 14
Dependent Claim
163 words
A system according to claim 9, wherein said memory means comprises: means for storing an event table and a conversion event table; and said simulating means includes means for registering in said event table a pointer which points to a circuit element corresponding to a record to be referred to next as a next circuit element, when said record being referred to does not correspond to a circuit element of a predetermined type and when an input signal of said circuit element does not include a clock signal, means for selecting said next circuit element in accordance with contents of said event table, means for registering in said conversion event table a pointer which points to a conversion element when a record being referred to corresponds to a circuit element of a predetermined type and when said input signal of said circuit element includes a clock signal, and means for selecting a conversion element in accordance with contents of said conversion event table.
Claim 15
Dependent Claim
56 words
A system according to claim 12, wherein said memory means further comprises: means for storing a conversion table which represents operation results of said conversion elements; and said producing means includes: referring means for referring to said conversion table to obtain operation results when said record being referred to corresponds to one of said conversion elements.
Claim 16
Dependent Claim
19 words
A system according to claim 8, wherein said simulating means is started when said input signal values are changed.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1994-09-23 | 1995-03-25 | 1995-09-24 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 1998-09-23 | 1999-03-25 | 1999-09-24 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2002-09-23 | 2003-03-25 | 2003-09-24 | $7700.00 | Window Closed / Lapsed |