The Community for Technology Leaders
Green Image
Issue No. 02 - March/April (2004 vol. 21)
ISSN: 0740-7475
pp: 132-143
Li-C. Wang , University of California, Santa Barbara
Madhu K. Iyer , University of California, Santa Barbara
Ganapathy Parthasarathy , University of California, Santa Barbara
Kwang-Ting (Tim) Cheng , University of California, Santa Barbara
ABSTRACT
The common view of model checking is as a supplementary methodology to improve the quality of simulation-based functional verification. Traditional model checking relies on BDD- or combinational-SAT-based approaches for search. The authors discuss the potential to apply a sequential SAT solver in model checking, comparing its performance against BDD- and combinational-SAT-based approaches.
INDEX TERMS
CITATION
Li-C. Wang, Madhu K. Iyer, Ganapathy Parthasarathy, Kwang-Ting (Tim) Cheng, "Safety Property Verification Using Sequential SAT and Bounded Model Checking", IEEE Design & Test of Computers, vol. 21, no. , pp. 132-143, March/April 2004, doi:10.1109/MDT.2004.1277906
107 ms
(Ver 3.1 (10032016))