Formal Hardware Verification Methods and Systems in Comparison /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kropf, Thomas (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Edition: 1st ed. 1997.
• Series: Lecture Notes in Computer Science, 1287
• Subjects: Computer engineering.; Computer hardware.; Computer logic.; Mathematical logic.; Computer Engineering.; Computer Hardware.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

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...