US5798938A
Expired / Lapsed
US
⏱️ 0.0 years remaining
System and method for verification of a precharge critical path for a system of cascaded dynamic logic gates
Assignee: Hewlett Packard Enterprise Development LP
•
Filing: 1996-07-02
•
Granted: 1998-08-25
•
Expires: 2016-07-02
Abstract
Abstract The present invention provides a system and method for performing precharge timing verification on a logic circuit comprising a plurality of cascaded logic blocks, where in each logic block is implemented via a dynamic logic gate characterized by having a clock resettable output. In addition, a storage element is connected at each input to the logic circuit. The method of the present invention includes the following steps: preconditioning the storage elements so that all the inputs to the logic circuit are driven high when the clock goes high; transitioning the clock high so as to drive all the inputs of the logic circuit high, thereby driving all the outputs of the logic circuit high and discharging the storage node of each logic block; transitioning the clock low to precharge the storage node of all the logic blocks in the logic circuit, and thereby driving all the outputs low; and determining the longest precharge path in the logic circuit. A precharged timing verification system of the present invention is preferably implemented on a computer system and comprises a dynamic simulation mechanism and a precharge timing mechanism for performing the precharge timing verification timing analysis of the present invention.
Inventors
- 👤 Craig A. Heikes
- 👤 Rodolfo G. Beraha
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-05 10:51
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/33
Claims Analysis
Total Claims: 27
Claim 1
Independent Claim
78 words
A method for determining a precharge critical path in a system of cascaded dynamic logic gates, wherein each said dynamic logic gate includes a lock resettable output, said method comprising the steps of: providing said system of said cascaded dynamic logical gates; discharging a storage node of each said logic gate in said system; precharging each said storage node once said storage nodes have been discharged; and determining which one of said logic gates takes longest to precharge.
Claim 2
Independent Claim
78 words
A method for determining a precharge critical path in a system of cascaded dynamic logic gates, wherein each said dynamic logic gate includes a lock resettable output, said method comprising the steps of: providing said system of said cascaded dynamic logical gates; discharging a storage node of each said logic gate in said system; precharging each said storage node once said storage nodes have been discharged; and determining which one of said logic gates takes longest to precharge.
Claim 3
Dependent Claim
57 words
The method of claim 1, wherein the step of discharging comprises the steps of preconditioning a storage element connected to each input of said system with a preconditioned value, and transitioning a clock of said system high so as to drive all said inputs to said preconditioned value, wherein said preconditioned value is a logic high value.
Claim 4
Dependent Claim
12 words
The method of claim 2, wherein said storage element is a flip-flop.
Claim 5
Dependent Claim
24 words
The method of claim 1, further comprising the step of determining a maximum clock offset from said logic gate that takes longest to precharge.
Claim 6
Dependent Claim
14 words
The method of claim 1, wherein said logic gate is a domino logic gate.
Claim 7
Dependent Claim
43 words
The method of claim 1, wherein the step of precharging comprises the step of transitioning a clock of said system low once said logic gates have been discharged so as to cause said storage nodes to be driven to a logic high value.
Claim 8
Dependent Claim
31 words
The method of claim 6, further comprising the step of identifying a precharge critical path as a logic gate output that takes longest to transition low after said clock transitions low.
Claim 9
Independent Claim
133 words
A method for precharge timing verification of a logic circuit comprising domino logic gates with storage elements connected to each input of said logic circuit, comprising the steps of: providing said logic circuit having said domino logic gates; preconditioning each said storage element so that each said storage element outputs a logic high value when a clock of said logic circuit transitions high; transitioning said clock high so as to discharge a storage node of each said logic gage to a logic low value by driving all inputs to said logic circuit high; transitioning said lock low after said storage nodes have been discharged so as to precharge said logic gates; and identifying a precharge critical path as a logic gate output that takes longest to transition low after said clock transitions low.
Claim 10
Independent Claim
133 words
A method for precharge timing verification of a logic circuit comprising domino logic gates with storage elements connected to each input of said logic circuit, comprising the steps of: providing said logic circuit having said domino logic gates; preconditioning each said storage element so that each said storage element outputs a logic high value when a clock of said logic circuit transitions high; transitioning said clock high so as to discharge a storage node of each said logic gage to a logic low value by driving all inputs to said logic circuit high; transitioning said lock low after said storage nodes have been discharged so as to precharge said logic gates; and identifying a precharge critical path as a logic gate output that takes longest to transition low after said clock transitions low.
Claim 11
Dependent Claim
20 words
The method of claim 8, further comprising the step of determining a maximum clock offset from said precharge critical path.
Claim 12
Dependent Claim
100 words
A precharge timing verification mechanism for enabling determination of a precharge critical path in a logic circuit of cascaded dynamic logic gates, wherein each said dynamic logic gate includes a clock resettable output, said mechanism comprising: a dynamic simulation mechanism for generating a first list of transition times for each element in said logic circuit of cascaded dynamic logic gates; and a precharge timing mechanism connected to said dynamic simulation mechanism for generating a second list of storage node transition times for each logic gate in said logic circuit, whereby said precharge critical path is determined from said second list.
Claim 13
Dependent Claim
100 words
A precharge timing verification mechanism for enabling determination of a precharge critical path in a logic circuit of cascaded dynamic logic gates, wherein each said dynamic logic gate includes a clock resettable output, said mechanism comprising: a dynamic simulation mechanism for generating a first list of transition times for each element in said logic circuit of cascaded dynamic logic gates; and a precharge timing mechanism connected to said dynamic simulation mechanism for generating a second list of storage node transition times for each logic gate in said logic circuit, whereby said precharge critical path is determined from said second list.
Claim 14
Dependent Claim
31 words
The precharge timing verification mechanism of claim 10, wherein said precharge timing mechanism generates preconditioning date for utilization by said dynamic simulation mechanism in generating said first list of transition times.
Claim 15
Dependent Claim
23 words
The precharge verification mechanism of claim 10, wherein data inputted to said precharge timing verification mechanism is in the form of a netlist.
Claim 16
Dependent Claim
17 words
The precharge timing verification mechanism of claim 10, wherein said dynamic logic gates comprise zipper logic gates.
Claim 17
Dependent Claim
17 words
The precharge timing verification mechanism of claim 10, wherein said dynamic logic gates comprise domino logic gates.
Claim 18
Dependent Claim
21 words
The precharge timing verification mechanism of claim 10, further including mechanism for determining the maximum clock offset from said second list.
Claim 19
Dependent Claim
21 words
The precharge timing verification mechanism of claim 10, further including mechanism for selecting said precharge critical path from said second list.
Claim 20
Dependent Claim
105 words
A computer program product having a computer readable medium having a computer program logic recorded thereon for receiving input data from a user for enabling determination of a precharge critical path in a logic circuit of cascaded dynamic logic gates, comprising: dynamic simulation means for generating a first list of transition times for each element in said logic circuit of said cascaded dynamic logic gates; and precharge timing means in communication with said dynamic simulation mechanism for generating a second list of storage node transition times for each logic gate in said logic circuit, whereby said precharge critical path is determined from said second list.
Claim 21
Dependent Claim
105 words
A computer program product having a computer readable medium having a computer program logic recorded thereon for receiving input data from a user for enabling determination of a precharge critical path in a logic circuit of cascaded dynamic logic gates, comprising: dynamic simulation means for generating a first list of transition times for each element in said logic circuit of said cascaded dynamic logic gates; and precharge timing means in communication with said dynamic simulation mechanism for generating a second list of storage node transition times for each logic gate in said logic circuit, whereby said precharge critical path is determined from said second list.
Claim 22
Dependent Claim
20 words
The computer program product of claim 17 further including means for selecting said precharge critical path from said second list.
Claim 23
Dependent Claim
20 words
The computer program product of claim 17, further including means for determining a maximum clock offset from said second list.
Claim 24
Dependent Claim
30 words
The computer program product of claim 17, wherein said precharged timing means generates preconditioning data for utilization by said dynamic simulation means in generating said first list of transition times.
Claim 25
Dependent Claim
24 words
The computer program product of claim 17, wherein data that is input to said precharged timing means is in the form of a netlist.
Claim 26
Dependent Claim
16 words
The computer program product of claim 17, wherein said dynamic logic gates comprise domino logic gates.
Claim 27
Dependent Claim
16 words
The computer program product of claim 17, wherein said dynamic logic gates comprise zipper logic gates.
References Cited (Backward Citations)
US5126950A
Cited
US5640547A
Cited
US5051911A
Cited
US5095454A
Cited
US5657239A
Cited
US5644499A
Cited
US5517132A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2001-08-24 | 2002-02-23 | 2002-08-25 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2005-08-24 | 2006-02-23 | 2006-08-25 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2009-08-24 | 2010-02-23 | 2010-08-25 | $7700.00 | Window Closed / Lapsed |