Cover Image

Formal hardware verification : methods and systems in comparison /

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a...

Full description

Saved in:
Bibliographic Details
Other Authors: Kropf, Thomas, 1961-
Format: Book
Language:English
Published: Berlin ; New York : Springer, c1997.
Series:Lecture notes in computer science ; 1287.
Subjects:
Integrated circuits > Very large scale integration > Design and construction > Data processing.
Integrated circuits > Verification.
Computer-aided design.
Integrated circuits > Very large scale integration > Computer-aided design.
Formal methods (Computer science)
Computer science.
Computer hardware.
Logic design.
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Symbolic trajectory evaluation / Scott Hazelhurst and Carl-Johan H. Seger
  • Verification with abstract state machines using MDGs / E. Cerny [and others]
  • Design verification using synchronized transitions / Jørgen Staunstrup
  • Hardware verification using PVS / Mandayam Srivas, Harald Ruess, and David Cyrluk
  • Verifying VHDL designs with COSPAN / Kathi Fisler and Robert P. Kurshan
  • The C@S system / Klaus Schneider and Thomas Kropf
  • Appendix : the common book examples / Thomas Kropf.

Similar Items