Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design
Reexamination Certificate
2008-01-29
2008-01-29
Garbowski, Leigh M. (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Nanotechnology related integrated circuit design
Reexamination Certificate
active
07325207
ABSTRACT:
The method and apparatus for analysis of integrated circuits using static timing analysis. For a circuit being analyzed, the value of the state net for the case of an undriven sensitization is resolved to a Hi/Lo logic on the output net and the sensitization is added to the appropriate pull-up/pull-down function on the output net. Furthermore, in the sensitization generation, the “present” state logic function at the output net is determined by the “previous” state variable of the sequential state net and the “present” state variables of the rest of the inputs to the sequential circuit. The “next” state logic function at the output net is determined by the “present” state variable of the sequential state net and the “next” state variables of the rest of the inputs to the sequential circuit. This variable is resolved as a function of “previous” state net variable and “present” state input net variables. In the present invention, a BDD XOR operation of the “present” state function and the “next” state function at the output net is used to determine the set of possible transitions at the output in terms of the transitions at the inputs. This function is further constrained with single input switching constraint. The resultant BDD describes the output net transition in terms of single input switching for every input to the sequential circuit.
REFERENCES:
patent: 5191541 (1993-03-01), Landman et al.
patent: 5636130 (1997-06-01), Salem et al.
patent: 5649165 (1997-07-01), Jain et al.
patent: 5872717 (1999-02-01), Yu et al.
patent: 5946475 (1999-08-01), Burks et al.
patent: 6301691 (2001-10-01), McBride
patent: 6567944 (2003-05-01), Singh et al.
patent: 6707721 (2004-03-01), Singh et al.
patent: 6952812 (2005-10-01), Abadir et al.
“PathMill: Transistor-Level Static Timing Analysis,” www.synopsys.com/products/analysis/pathmill—ds.html, printed Nov. 20, 2004, 5 pages.
Singh Manish
Subramanian Bhaskar
Dorsey & Whitney LLP
Garbowski Leigh M.
Sun Microsystems Inc.
LandOfFree
Automatic device strength based sensitization generation for... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Automatic device strength based sensitization generation for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic device strength based sensitization generation for... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2796034