Method for verification using reachability overapproximation

Details Method for verification using reachability overapproximation Method for verification using reachability overapproximation

2008-01-22

2008-01-22

Chiang, Jack (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000

Reexamination Certificate

active

07322017

ABSTRACT:
A method, system and computer program product for verifying that a design conforms to a desired property is disclosed. The method comprises receiving a design, a first initial state of the design, and a property for verification with respect to the design. The first initial state of the design is expanded to create a superset of the first initial state containing one or more states reachable from the first initial state of the design. A superset is synthesized to define a second initial state of the design. Application of the superset to the design is overapproximated through cutpoint insertion into the superset to obtain a modified superset, and the property is verified with reference to the modified superset.

REFERENCES:
patent: 6026220 (2000-02-01), Cleereman et al.
patent: 6141633 (2000-10-01), Iwashita et al.
patent: 6192505 (2001-02-01), Beer et al.
patent: 6425110 (2002-07-01), Hathaway et al.
patent: 6557145 (2003-04-01), Boyle et al.
patent: 6651234 (2003-11-01), Gupta et al.
patent: 6848088 (2005-01-01), Levitt et al.
patent: 6944838 (2005-09-01), McMillan
patent: 7047139 (2006-05-01), Shtrichman
patent: 7111268 (2006-09-01), Anderson et al.
patent: 2003/0208730 (2003-11-01), Singhai et al.
patent: 2006/0129959 (2006-06-01), Mang et al.

Affiliated with

Also associated with

Rating

Method for verification using reachability overapproximation 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 for verification using reachability overapproximation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for verification using reachability overapproximation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2759493