Trace equivalence identification through structural...

Details Trace equivalence identification through structural... Trace equivalence identification through structural...

2008-07-08

2008-07-08

Dinh, Paul (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C703S014000

Reexamination Certificate

active

07398488

ABSTRACT:
A method for performing trace equivalent identification by structural isomorphism detection, the method comprising: synthesizing a first netlist into a second netlist, the second netlist including two-input AND gates, inversions, inputs, constants, and registers; constructing a third netlist, the third netlist being a pseudo-canonical netlist that uses calls to algorithms for constructing a netlist for gate g1and for constructing a netlist for gate g2, where g1and g2are gates; and performing an isomorphism check of gates g1and g2.

REFERENCES:
patent: 6023566 (2000-02-01), Belkhale et al.
patent: 6026222 (2000-02-01), Gupta et al.
patent: 6301687 (2001-10-01), Jain et al.
patent: 6473885 (2002-10-01), Wallace
patent: 7032192 (2006-04-01), Prasad et al.
patent: 2002/0010899 (2002-01-01), Wallace
patent: 2002/0157063 (2002-10-01), Besson
patent: 2005/0010888 (2005-01-01), Smith et al.
patent: 2005/0125757 (2005-06-01), Krishnamurthy
“Boolean matching of sequential elements”, by Shankar Krishnamoorthy and Frederic Mailhot, Synopsys Inc., ACM/IEEE@ 1994.
“Sequential Equivalence Checking based on Structura; Similarities”, C. A. J. van Eijk, IEEE @2000.

Affiliated with

Also associated with

Rating

Trace equivalence identification through structural... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Trace equivalence identification through structural..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Trace equivalence identification through structural... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2802680