Efficient SAT-based unbounded symbolic model checking

Details Efficient SAT-based unbounded symbolic model checking Efficient SAT-based unbounded symbolic model checking

2007-12-04

2007-12-04

Whitmore, Stacy (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000

Reexamination Certificate

active

11087898

ABSTRACT:
An efficient approach for SAT-based quantifier elimination and pre-image computation using unrolled designs that significantly improves the performance of pre-image and fix-point computation in SAT-based unbounded symbolic model checking.

REFERENCES:
patent: 6473884 (2002-10-01), Ganai et al.
patent: 2002/0178424 (2002-11-01), Gupta et al.
patent: 2004/0093572 (2004-05-01), Jain et al.
patent: 2004/0103378 (2004-05-01), Jain
patent: 2004/0123254 (2004-06-01), Geist et al.
patent: 2004/0153983 (2004-08-01), McMillan
patent: 2004/0210860 (2004-10-01), Ganai et al.
patent: 2004/0230407 (2004-11-01), Gupta et al.
patent: 2005/0155002 (2005-07-01), Lai et al.
patent: 2005/0171747 (2005-08-01), Franco et al.
patent: 2005/0192789 (2005-09-01), Yang
patent: 2005/0216871 (2005-09-01), Prasad et al.
Sheng, S. Et al., Efficient preimage computation using a novel success-driven ATPG. Dec. 2003, IEEE pp. 1-8.
McMillan Applying SAT methods in unbounded symbolic model checking, IEEE Proc., CAV, 2002, pp. 1-14.
Seshia, Sanjit A., et al., “Unbounded, fully symbolic model checking of timed automata using boolean methods”, IEEE Proc CAV, 2003. pp. 1-13.

Affiliated with

Also associated with

Rating

Efficient SAT-based unbounded symbolic model checking does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Efficient SAT-based unbounded symbolic model checking, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Efficient SAT-based unbounded symbolic model checking will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3894222