Method and system for performing minimization of input count...

Details Method and system for performing minimization of input count... Method and system for performing minimization of input count...

2008-05-27

2008-05-27

Chiang, Jack (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000

Reexamination Certificate

active

07380222

ABSTRACT:
A method for performing verification is disclosed. The method includes selecting a set of gates to add to a first localization netlist and forming a refinement netlist. A min-cut is computed with sinks having one or more gates in the refinement netlist and sources comprising one or more inputs of an original netlist and one or more registers registers of the original netlist which are not part of the refinement netlist. A final localized netlist is obtained by adding one or more gates to the refinement netlist to grow the refinement netlist until reaching one or more cut-gates of the min-cut.

REFERENCES:
patent: 5521836 (1996-05-01), Hartoog et al.
patent: 6038381 (2000-03-01), Munch et al.
patent: 6038382 (2000-03-01), Kanazawa
patent: 6662323 (2003-12-01), Ashar et al.
patent: 7203915 (2007-04-01), Baumgartner et al.
patent: 7213220 (2007-05-01), Hoppe et al.
patent: 2002/0100008 (2002-07-01), Cheng et al.
patent: 2004/0030974 (2004-02-01), Ashar et al.
patent: 2005/0081175 (2005-04-01), Scott et al.
patent: 2006/0129952 (2006-06-01), Baumgartner et al.

Affiliated with

Also associated with

Rating

Method and system for performing minimization of input count... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and system for performing minimization of input count..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for performing minimization of input count... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2786513