Evaluating semi-exhaustive verification techniques for bug hunting

Electronic Notes in Theoretical Computer Science

Volumn 23, Issue 2, 2001, Pages 11-22

  Fraer, Ranan ^a   Kamhi, Gila ^a   Fix, Limor ^a   Vardi, Moshe Y ^b  

^a INTEL CORPORATION   (Israel)

^b Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE; COMPUTER SIMULATION; HEURISTIC METHODS; ITERATIVE METHODS; MATHEMATICAL MODELS; MICROPROCESSOR CHIPS; SPECIFICATIONS;

BUG HUNTING; FORMAL VERIFICATIONS; HARDWARE DESIGNS; MICROPROCESSOR DESIGNS;

PROGRAM DEBUGGING;

EID: 18944403061     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80665-0     Document Type: Conference Paper

References (11)

1. K. Ravi, F. Somenzi. high Density Reachability Analysis. In Proceedings of International onference on Computer-Aided Design, Santa Clara, CA, November 1995.
2. M. Gania, A Aziz. Efficent Coverage Directed State Space Search. In Proceedings of IWLS'98.
3. J. Yuan, J. Shen, J. Abraham, and A. Aziz. On Combining Formal and Informal Verification. In Proceedings of the Computer Aided Verification Conf., July 1997.
4. C. Yang, D. Dill. Validation with Guided Search of the State Space. In Proceedings of DAC'98.
5. A. Aziz J. Kukula, T. Shiple. Hybird Verification Using Saturated Simulation. In Proceedings of DAC'98.
6. Bryant R. Graph-based Algorithms for Boolean Function Manipulations. IEEE Transactions on Computers. C-35:August 1986;677-691
7. McMillan L.K. Symbolic Model Checking. 1993;Kluwer
8. T.R. Shiple. Formal Analysis of Synchronous Circuits PhD thesis, University of California at Berkeley, 1996.
9. K. Ravi, K.L. McMillan, T.R. Shiple, F. Somenzi. Approximation and Decomposition of Binary Decision Diagrams. In Proceedings of DAC'98.
10. O. Coudert, J. Madre. A Unified Framework for the Formal Verification of Sequential Circuits. In Proceedings of ICCAD'90.
11. B. Lin, R. Newton. Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams. In Proceedings of ICCD'91.