Formal verification for non-formalists;Formale Verifikation für Nicht-Formalisten

IT - Information Technology

Volumn 43, Issue 1, 2001, Pages 22-28

  Bormann, Jörg ^a   Spalinger, Christoph ^a  

^a SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATION TOOLS; FUNCTIONAL VERIFICATION; PROPERTY; RESEARCH AND DEVELOPMENT; SIEMENS;

FORMAL VERIFICATION;

EID: 85117197608     PISSN: 16112776     EISSN: 21967032     Source Type: Journal    
DOI: 10.1524/itit.2001.43.1.22     Document Type: Article

References (3)

1. Bergeron, J.: Writing Testbenches - Functional Verification of HDL Models, Kluwer Academic Publishers, 2000.
2. nd Design Automation Conference, 1995.
3. Kropf, T.: Introduction to Formal Hardware Verification, Springer Verlag, 1999.