Improving simulation-based verification by means of formal methods

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 2004, Pages 640-643

  Fey, Görschwin ^a   Drechsler, Rolf ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; GRAPHIC METHODS; MATHEMATICAL MODELS; SIMULATORS;

BOUNDED MODEL CHECKING (BMC); DESIGN PRODUCTIVITY; VERIFICAITON GAP;

LARGE SCALE SYSTEMS;

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

References (9)

1. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1579 of LNCS. Springer Verlag, 1999.
2. J. Bormann and C. Spalinger. Formale Verifikation für Nicht-Formalisten (Formal verification for non-formalists). Informationstechnik und Technische Informatik, 43:22-28, 2001.
3. R.E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp., 35(8):677-691, 1986.
4. Y. Hoskote, T. Kam, P. Ho, and X. Zhao. Coverage estimation for symbolic model checking. In Design Automation Conf., pages 300-305, 1999.
5. S. Katz and O. Grumberg. Have I written enough properties - a method of comparison between specification and implementation. In CHARME, pages 280-297, 1999.
6. J.P. Marques-Silva and K.A. Sakallah. GRASP - a new search algorithm for satisfiability. In Int't Conf. on CAD, pages 220-227, 1996.
7. K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publisher, 1993.
8. M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engeneering an efficient SAT solver. In Design Automation Conf., pages 530-535, 2001.
9. F. Somenzi. CUDD: CU Decision Diagram Package Release 3.3.1. University of Colorado at Boulder, 2001.