Method and system for optimized automated case-splitting via...

Details Method and system for optimized automated case-splitting via... Method and system for optimized automated case-splitting via...

2008-03-04

2008-03-04

Whitmore, Stacy A (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000

Reexamination Certificate

active

07340704

ABSTRACT:
A method for performing verification is proposed. The method comprises receiving a design and building an intermediate binary decision diagram for the design containing one or more nodal binary decision diagrams. In response to a size of the intermediate binary decision diagram exceeding a size threshold, a node of the design is selected for case-splitting. A first case-splitting is performed upon the selected node of the design to generate a primary constraint for setting the selected node to a primary value. A first constraining is performed on one of the one or more nodal binary decision diagrams with the primary constraint to generate a primary final binary decision diagram, a first verification of the design is performed using the primary final binary decision diagram.

REFERENCES:
patent: 5502661 (1996-03-01), Glunz
patent: 6026222 (2000-02-01), Gupta et al.
patent: 6442561 (2002-08-01), Gehrke et al.
patent: 6662189 (2003-12-01), Oyanagi et al.
patent: 6757884 (2004-06-01), Mandell et al.
patent: 6782511 (2004-08-01), Frank et al.
patent: 6842750 (2005-01-01), Andreev et al.
patent: 6938049 (2005-08-01), Kamath et al.
patent: 7065722 (2006-06-01), Jain
patent: 2002/0144218 (2002-10-01), Levin et al.
patent: 2003/0074640 (2003-04-01), Mandell et al.
patent: 2003/0187815 (2003-10-01), Andreev et al.
patent: 2004/0015799 (2004-01-01), Jain
patent: 2004/0199887 (2004-10-01), Jain et al.
patent: 2006/0122817 (2006-06-01), Baumgartner et al.
patent: 2007/0061765 (2007-03-01), Jacobi et al.

Affiliated with

Also associated with

Rating

Method and system for optimized automated case-splitting via... 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 optimized automated case-splitting via..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for optimized automated case-splitting via... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2800211