US5426768A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Logic simulation with efficient deadlock avoidance by selectively suspending event data fetch based on element information
Assignee: Panasonic Holdings Corp
•
Filing: 1992-11-13
•
Granted: 1995-06-20
•
Expires: 2012-11-13
Abstract
Abstract Disclosed is a method for simulating an operation of an event driven logic circuit in response to changes of the signal status of each terminal of all the elements in the logical circuit, based on event data each containing event time indicating when the signal status has changed, status change indicating how the status has changed, an element identifier identifying the element, and a terminal identifier identifying the terminal, the method comprising a simulation time output step for outputting data indicating simulation time which is continuously counted up; a first selection step for selecting the event data whose event time is equal to the simulation time; a second selection step for selecting the event data whose event time is earliest among event data present for all the input terminals of the element corresponding to the event data; a simulation step for generating new event data depending on a change of the signal status of the output terminal of the element corresponding to the event data, based on the event data selected by each selection step; and a control step for suspending the operation in the second selection step based on the event data selected by the second selection step, the suspension being exercised separately for each element.
Inventors
- 👤 Kiyoshi Kanazawa
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-30 18:50
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/33
Claims Analysis
Total Claims: 18
Claim 1
Independent Claim
226 words
A method for simulating an operation of an event-driven logic circuit in response to changes of the signal status of each terminal of the elements in the logical circuit, the method being based upon event-data sets, each event-data set containing an event time indicating when the signal status has changed, a status change indicating how the status has changed, an element number identifying the element, and a terminal identifier identifying the terminal, said method comprising: a simulation time output step for outputting data indicating simulation time which is consecutively incremented; a first selection step for selecting the event-data set whose event time is equal to the simulation time; a second selection step for selecting the event-data set whose event time is earliest among event-data sets present for all the input terminals of the element corresponding to the selected event-data set; a simulation step for generating new event-data sets depending on a change of the signal status of the output terminal of the element corresponding to the selected event-data set, based on the event-data set selected by either of the two selection steps; and a control step for selectively suspending the operation in said second selection step based on a comparison between the element number in the event-data set selected by said second selection step and a predetermined threshold, the suspension being exercised separately for each element.
Claim 2
Independent Claim
226 words
A method for simulating an operation of an event-driven logic circuit in response to changes of the signal status of each terminal of the elements in the logical circuit, the method being based upon event-data sets, each event-data set containing an event time indicating when the signal status has changed, a status change indicating how the status has changed, an element number identifying the element, and a terminal identifier identifying the terminal, said method comprising: a simulation time output step for outputting data indicating simulation time which is consecutively incremented; a first selection step for selecting the event-data set whose event time is equal to the simulation time; a second selection step for selecting the event-data set whose event time is earliest among event-data sets present for all the input terminals of the element corresponding to the selected event-data set; a simulation step for generating new event-data sets depending on a change of the signal status of the output terminal of the element corresponding to the selected event-data set, based on the event-data set selected by either of the two selection steps; and a control step for selectively suspending the operation in said second selection step based on a comparison between the element number in the event-data set selected by said second selection step and a predetermined threshold, the suspension being exercised separately for each element.
Claim 3
Dependent Claim
41 words
The method of claim 1, wherein a plurality of said thresholds are predetermined, said comparison compares each threshold and said element numbers, and a determination step determines after said comparison to exercise the suspension at a frequency corresponding to the comparison.
Claim 4
Dependent Claim
57 words
The method of claim 1, further comprising a detection step for detecting the executional status of the simulation, a plurality of said thresholds being predetermined, said comparison step comparing each threshold and said element numbers, a determination step determining whether the suspension should be exercised or not, based on the executional status detected and on the comparison.
Claim 5
Dependent Claim
37 words
The method of claim 1, wherein said control step comprises a determination step for determining whether the operation of said second selection step should be suspended or not, based on predetermined control information corresponding to each element.
Claim 6
Dependent Claim
20 words
The method of claim 4, wherein said control information contains information indicating whether the suspension should be exercised or not.
Claim 7
Dependent Claim
36 words
The method of claim 4, wherein said control information contains one of a plurality of values, and said determination step determines to exercise the suspension at a frequency corresponding to the value of said control information.
Claim 8
Dependent Claim
54 words
The method of claim 4, further comprising a detection step for detecting the executional status of the simulation, said control information containing one of a plurality of values, said determination step determining whether the suspension should be exercised or not based on the value of the control information and on the executional status detected.
Claim 9
Independent Claim
235 words
An apparatus for simulating an operation of an event-driven logic circuit in response to changes of the signal status of each terminal of the elements in the logical circuit, based upon event-data sets, each event-data set containing an event time indicating when the signal status has changed, a status change indicating how the status has changed, an element number identifying the element, and a terminal identifier identifying the terminal, said apparatus comprising: event data storage means for storing event data; simulation time output means for outputting data indicating simulation time which is consecutively incremented; first selection means for selecting the event-data set whose event time is equal to the simulation time; second selection means for selecting the event-data set whose event time is earliest among event-data sets present for all the input terminals of the element corresponding to the selected event-data set; simulation means for generating new event-data sets depending on a change of the signal status of the output terminal of the element corresponding to the selected event-data set, based on the event data set selected by either of the two selection means to store to said event data storage means; and control means for selectively suspending the operation in said second selection means based on a comparison between the element number in the event-data set selected by said second selection means and a predetermined threshold, the suspension being exercised separately for each element.
Claim 10
Independent Claim
235 words
An apparatus for simulating an operation of an event-driven logic circuit in response to changes of the signal status of each terminal of the elements in the logical circuit, based upon event-data sets, each event-data set containing an event time indicating when the signal status has changed, a status change indicating how the status has changed, an element number identifying the element, and a terminal identifier identifying the terminal, said apparatus comprising: event data storage means for storing event data; simulation time output means for outputting data indicating simulation time which is consecutively incremented; first selection means for selecting the event-data set whose event time is equal to the simulation time; second selection means for selecting the event-data set whose event time is earliest among event-data sets present for all the input terminals of the element corresponding to the selected event-data set; simulation means for generating new event-data sets depending on a change of the signal status of the output terminal of the element corresponding to the selected event-data set, based on the event data set selected by either of the two selection means to store to said event data storage means; and control means for selectively suspending the operation in said second selection means based on a comparison between the element number in the event-data set selected by said second selection means and a predetermined threshold, the suspension being exercised separately for each element.
Claim 11
Dependent Claim
61 words
The apparatus of claim 8 said control means further comprising a threshold storage means, a comparison means, and a determination means, wherein said threshold storage means stores a plurality of said thresholds, said comparison means compares each threshold and said element numbers, and said determination means determines after said comparison to exercise the suspension at a frequency corresponding to the comparison.
Claim 12
Dependent Claim
48 words
The apparatus of claim 9, further comprising detection means for detecting the executional status of the simulation, said threshold storage means storing said plurality of thresholds, said determination means determining whether the suspension should be exercised or not based on the executional status detected and on the comparison.
Claim 13
Dependent Claim
60 words
The apparatus of claim 8, wherein said control means comprises control information storage means for storing predetermined control information by associating it with each element; control information readout means for reading out prestored control information; and determination means for determining whether the operation of said second selection means should be suspended or not based on the control information read out.
Claim 14
Dependent Claim
24 words
The apparatus of claim 11, wherein said control information storage means stores control information to an area having an element number as its address.
Claim 15
Dependent Claim
27 words
The apparatus of claim 11, wherein said control information storage means holds a lookup-table in which data indicating an element number is coupled with corresponding control information.
Claim 16
Dependent Claim
25 words
The apparatus of claim 11, wherein said control information storage means holds information indicating whether the suspension should be exercised or not as control information.
Claim 17
Dependent Claim
40 words
The apparatus of claim 11, wherein said control information storage means holds one of a plurality of values as control information, said determination means determines to exercise the suspension at a frequency corresponding to the value of the control information.
Claim 18
Dependent Claim
58 words
The apparatus of claim 11, further comprising a detection means for detecting the executional status of the simulation, said control information storage means storing one of a plurality of values as control information, said determination means determining whether the suspension should be exercised or not based on the detected executional status and the value of the control information.
References Cited (Backward Citations)
JPS61110071A
Cited
JPS63278150A
Cited
US5018089A
Cited
US5053980A
Cited
JPH0275073A
Cited
US4985860A
Cited
US5081601A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1998-06-19 | 1998-12-19 | 1999-06-20 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2002-06-19 | 2002-12-19 | 2003-06-20 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2006-06-19 | 2006-12-19 | 2007-06-20 | $7700.00 | Window Closed / Lapsed |