Computer-aided design and analysis of circuits and semiconductor – Integrated circuit design processing – Testing or evaluating
Reexamination Certificate
2011-03-29
2011-03-29
Do, Thuan (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Integrated circuit design processing
Testing or evaluating
C716S104000, C716S132000
Reexamination Certificate
active
07917884
ABSTRACT:
A method, system and computer program product for performing verification are disclosed. A first abstraction of an initial design netlist containing a first target is created and designated as a current abstraction, and the current abstraction is unfolded by a selectable depth. A composite target is verified using a satisfiability solver, and in response to determining that the verifying step has hit the composite target, a counterexample to is examined to identify one or more reasons for the first target to be asserted. One or more refinement pairs are built by examining the counterexample, and a second abstraction is built by composing the refinement pairs. One or more learned clauses and one or more invariants to the second abstraction and the second abstraction is chosen as the current abstraction. The current abstraction is verified with the satisfiability solver.
REFERENCES:
patent: 6086626 (2000-07-01), Jain et al.
patent: 6163876 (2000-12-01), Ashar et al.
patent: 6301687 (2001-10-01), Jain et al.
patent: 6591402 (2003-07-01), Chandra et al.
patent: 6904578 (2005-06-01), Jain et al.
patent: 6944838 (2005-09-01), McMillan
patent: 7149987 (2006-12-01), Zhu et al.
Clarke et al., Counterexample-Guided Abstraction Refinement, International Conference on Computer-Aided Verification, 2000, pp. 154-169.
Tat, Binh—Notice of Allowability, U.S. Appl. No. 12/013,163, dated Feb. 17, 2010.
Office Action mailed on Jul. 27, 2009 for U.S. Appl. No. 12/013,163, filed Jan. 11, 2008 entitled “Enhanced Verification by Closely Coupling a Structural Overapproximation Algorithm and a Structural Satisfiability Solver (as Amended)”.
Baumgartner Jason R.
Kanzelman Robert L.
Mony Hari
Paruthi Viresh
Dillon & Yudell LLP
Do Thuan
International Business Machines - Corporation
LandOfFree
Enhanced verification by closely coupling a 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 Enhanced verification by closely coupling a structural..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Enhanced verification by closely coupling a structural... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2670008