Cover Image

Formal hardware verification : methods and systems in comparison /

Show other versions (1)
Bibliographic Details
Other Authors: Kropf, Thomas, 1961-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1997]
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.
Table of Contents:
  • Symbolic trajectory evaluation / Scott Hazelhurst and Carl-Johan H. Seger
  • Verification with abstract state machines using MDGs / E. Cerny ... [et al.]
  • 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.