Efficient decision ordering techniques for SAT-based test generation

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2010, Pages 490-495

  Chen, Mingsong ^a   Qin, Xiaoke ^a   Mishra, Prabhat ^a  

^a University of Florida   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED GENERATION; COMPLEX DESIGNS; CONVENTIONAL MODELS; CURRENT TEST; MODEL-CHECKING TECHNIQUES; RESOURCE REQUIREMENTS; TEST GENERATIONS; VARIABLE ORDERING HEURISTICS;

AUTOMATION; DESIGN; HEURISTIC METHODS; MODEL CHECKING;

TESTING;

EID: 77953101934     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. A. Biere, A. Cimatti, and E. M. Clarke. Bounded model checking. Advances in Computers, 58, 2003.
2. http://www.princeton.edu/ chaff/zchaff.html. zChaff.
3. E. Clarke, O. Grumberg and D. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
4. N. Amla et al. An analysis of SAT-based model checking techniques in an industrial environment. CHARME, 254-268, 2005.
5. M. Moskewicz et al. Chaff: Engineering an efficient SAT solver. DAC, pages 530-535, 2001.
6. H. Jin and F. Somenzi. An incremental algorithm to check satisfiability for bounded model checking. BMC, 51-65, 2004.
7. O. Strichman. Pruning techniques for the sat-based bounded model checking problem. CHARME, 58-70, 2001.
8. P. Mishra and M. Chen. Efficient techniques for directed test generation using incremental satisfiability. In Proceedings of International Conference of VLSI Design, 65-70, 2009.
9. J. P. Marques-Silva and K. A. Sakallah. The impact of branching heuristics in propositional satisfiability. In Proceedings of the 9th Portuguese Conference on Artificial Intelligence, 62-74, 1999.
10. O. Shtrichman. Tuning SAT checkers for bounded model checking. CAV, 480-494, 2000.
11. C. Wang et al. Refining the SAT decision ordering for bounded model checking. DAC, 535-538, 2004.
12. M. Davis et al. A machine program for theorem proving. Communication of the ACM, 5:394-397, 1962.
13. J. Hennessy and D. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann Publishers, 2003.
14. http://nusmv.irst.itc.it/. NuSMV.