US5740347A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Circuit analyzer of black, gray and transparent elements
Assignee: Synopsys Inc
•
Filing: 1995-05-01
•
Granted: 1998-04-14
•
Expires: 2015-05-01
Abstract
Abstract A method, apparatus and medium containing a computer program for analyzing timing in circuits. In one embodiment, the invention sets the direction of elements of a circuit by partitioning the circuit to identify a subcircuit including a pullup or pulldown block, then modeling the subcircuit as a single transistor, then setting the direction of that single transistor and then propagating the direction of that single transistor to other elements of the subcircuit. In another embodiment, the invention generates a gray box model by searching paths from a primary clock input of a circuit, determining worst and best paths among the multiple elements of the circuit and incorporating the best and worst path information in the gray box model. In another embodiment, the invention instantiates such a gray box model in a second circuit and performs timing checks on this second circuit.
Inventors
- 👤 Jacob Avidan
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-27 23:42
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/33; G06F30/3308; G06F30/3312
Claims Analysis
Total Claims: 32
Claim 1
Independent Claim
50 words
A method for checking the timing of a circuit during static circuit analysis, said circuit including a stage having a pass transistor under the control of a clock, said method comprising: searching paths in said circuit; making said stage transparent; and performing timing checks on paths including said transparent stage.
Claim 2
Independent Claim
50 words
A method for checking the timing of a circuit during static circuit analysis, said circuit including a stage having a pass transistor under the control of a clock, said method comprising: searching paths in said circuit; making said stage transparent; and performing timing checks on paths including said transparent stage.
Claim 3
Independent Claim
65 words
The method of 1 wherein said stage has an input and an output, and said step of making a stage transparent comprises: making said stage transparent when said clock controlling said stage is on when data arrives at said input of said stage, a clock triggering said data, said clock controlling said stage in the same or next phase from said clock triggering said data.
Claim 4
Independent Claim
65 words
The method of 1 wherein said stage has an input and an output, and said step of making a stage transparent comprises: making said stage transparent when said clock controlling said stage is on when data arrives at said input of said stage, a clock triggering said data, said clock controlling said stage in the same or next phase from said clock triggering said data.
Claim 5
Dependent Claim
26 words
The method of claim 1 further comprising the step of reporting errors for said stage relative to the turn-off edge of said clock controlling said stage.
Claim 6
Dependent Claim
49 words
The method of claim 1 wherein said step of performing timing checks comprises checking absolute path delays against limits defined by a user; and said step of making said stage transparent comprises making said stage transparent only when a user indicates that transparent stages are to be checked for.
Claim 7
Dependent Claim
51 words
The method of claim 1 further comprising the step of producing a warning message when in one of said paths including said transparent stage said transparent stage is followed by other than a node terminating said one path or a stage having a pass transistor under the control of a clock.
Claim 8
Dependent Claim
79 words
The method of claim 1 wherein said step of making a stage transparent comprises making said stage transparent when a second stage having a pass transistor under the control of a second clock precedes said stage, said clock controlling said stage and said second clock controlling said second stage derived from the same edge of a reference clock; and said step of performing timing checks comprises performing all timing checks relative to global and local clocks with predefined waveforms.
Claim 9
Independent Claim
131 words
A method for checking the timing of a circuit during static circuit analysis, said circuit having at least one primary input including at least one primary clock input, a plurality of sequential elements including first and last layers of sequential elements, and at least one primary output, said method comprising: searching paths from said primary clock input and analyzing internal paths between or among said plurality of sequential elements, thereby determining worst and best paths between or among said plurality of sequential elements, the worst path between said primary input and said first layer of sequential elements and the worst path between said last layer of sequential elements and said primary output; and generating a first model of said circuit, said first model incorporating said determined best and worst paths information.
Claim 10
Independent Claim
131 words
A method for checking the timing of a circuit during static circuit analysis, said circuit having at least one primary input including at least one primary clock input, a plurality of sequential elements including first and last layers of sequential elements, and at least one primary output, said method comprising: searching paths from said primary clock input and analyzing internal paths between or among said plurality of sequential elements, thereby determining worst and best paths between or among said plurality of sequential elements, the worst path between said primary input and said first layer of sequential elements and the worst path between said last layer of sequential elements and said primary output; and generating a first model of said circuit, said first model incorporating said determined best and worst paths information.
Claim 11
Dependent Claim
34 words
The method of claim 7 wherein said step of searching and analyzing further comprises determining the delay from said primary clock input to a clock pin of one of said plurality of sequential elements.
Claim 12
Dependent Claim
35 words
The method of claim 7 wherein said step of searching and analyzing comprises analyzing only paths which include a path between two of said plurality of sequential elements, which included path contains purely combinatorial gates.
Claim 13
Dependent Claim
42 words
The method of claim 7 further comprising the step of determining the setup and hold times for each of said at least one primary input and associating a second, black box model incorporating said setup and hold times with said first model.
Claim 14
Dependent Claim
24 words
The method of claim 10 further comprising the step of switching between said first model and said second, black box model for said circuit.
Claim 15
Dependent Claim
33 words
The method of claim 7 wherein said step of generating a first model comprises generating a model comprising representations of said primary input, said primary output and the functional behavior of said circuit.
Claim 16
Dependent Claim
18 words
The method of claim 7 further comprising the step of instantiating said first model in a second circuit.
Claim 17
Dependent Claim
31 words
The method of claim 12 wherein said circuit has state and said step of generating a first model further comprises incorporating a representation of state of said circuit in said model.
Claim 18
Dependent Claim
14 words
The method of claim 13 further comprising the step of analyzing said second circuit.
Claim 19
Dependent Claim
15 words
The method of claim 15 wherein said step of analyzing comprises processing said first model.
Claim 20
Dependent Claim
62 words
The method of claim 16 wherein said step of processing said gray box model comprises constructing a graph comprising a respective plurality of nodes representing said plurality of sequential elements and the connectivity among said plurality of elements, connecting said plurality of nodes by timing arcs representing the delays among said plurality of sequential elements, said primary input and said primary output.
Claim 21
Dependent Claim
23 words
The method of claim 16 wherein said step of processing said first model comprises propagating a clock waveform inside said gray box model.
Claim 22
Dependent Claim
44 words
The method of claim 18 wherein said step of propagating a clock waveform comprises propagating a clock waveform external to said first model from a primary clock input of said first model to one of said plurality of sequential elements of said first model.
Claim 23
Dependent Claim
42 words
The method of claim 7 wherein said first model has a bus input comprising a plurality of bits and said step of generating a first model comprises grouping a first subset of said plurality of bits as a single entity for processing.
Claim 24
Dependent Claim
47 words
The method of claim 20 wherein said step of generating a first model comprises grouping a first subset of said plurality of bits as a single entity for processing if the difference between or among the bits of said first subset is less than a predetermined amount.
Claim 25
Dependent Claim
38 words
The method of claim 20 wherein said step of generating a first model further comprises grouping a second subset of said plurality of bits as a single entity for processing, said subset and said second subset mutually exclusive.
Claim 26
Dependent Claim
73 words
The method of claim 22 wherein said step of generating a first model further comprises grouping a second subset of said plurality of bits as a single entity for processing, said subset and said second subset mutually exclusive, if the difference between or among the bits of said subset is less than a predetermined amount and the difference between or among the bits of said second subset is less than said predetermined amount.
Claim 27
Independent Claim
90 words
A method for checking the timing of a circuit during static circuit analysis, said method comprising the steps of: instantiating a gray box model in said circuit, said gray box model having a data input and an output; searching along a path of said circuit up to said data input of said gray box model; searching through said gray box model from said data input of said gray box model to said output of said gray box model; and continuing said path searching from said output of said gray box.
Claim 28
Independent Claim
90 words
A method for checking the timing of a circuit during static circuit analysis, said method comprising the steps of: instantiating a gray box model in said circuit, said gray box model having a data input and an output; searching along a path of said circuit up to said data input of said gray box model; searching through said gray box model from said data input of said gray box model to said output of said gray box model; and continuing said path searching from said output of said gray box.
Claim 29
Dependent Claim
41 words
The method of claim 24 wherein after said step of searching through said gray box model is performed, the following step is performed: reporting positive slack time or a timing error with respect to said search through said gray box model.
Claim 30
Dependent Claim
36 words
The method of claim 25 wherein after said step of searching through said gray box model is performed, the following step is performed: recovering from a timing error by adjusting time and continuing said timing checking.
Claim 31
Independent Claim
71 words
A method for checking the timing of a circuit during static circuit analysis, said circuit having first and second stages both capable of being transparent, said method comprising the steps of: placing said first and second stages in series in said circuit; and searching along a path of said circuit, said path including said first and second stages, making said first stage transparent and refraining from making said second stage transparent.
Claim 32
Independent Claim
71 words
A method for checking the timing of a circuit during static circuit analysis, said circuit having first and second stages both capable of being transparent, said method comprising the steps of: placing said first and second stages in series in said circuit; and searching along a path of said circuit, said path including said first and second stages, making said first stage transparent and refraining from making said second stage transparent.
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) | 2001-04-13 | 2001-10-13 | 2002-04-14 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2005-04-13 | 2005-10-13 | 2006-04-14 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2009-04-13 | 2009-10-13 | 2010-04-14 | $7700.00 | Window Closed / Lapsed |