This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Safety Property Verification Using Sequential SAT and Bounded Model Checking
March/April 2004 (vol. 21 no. 2)
pp. 132-143
Ganapathy Parthasarathy, University of California, Santa Barbara
Madhu K. Iyer, University of California, Santa Barbara
Kwang-Ting (Tim) Cheng, University of California, Santa Barbara
Li-C. Wang, University of California, Santa Barbara
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.
Citation:
Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting (Tim) Cheng, Li-C. Wang, "Safety Property Verification Using Sequential SAT and Bounded Model Checking," IEEE Design & Test of Computers, vol. 21, no. 2, pp. 132-143, March-April 2004, doi:10.1109/MDT.2004.1277906
Usage of this product signifies your acceptance of the Terms of Use.