+612 9045 4394
Formal Hardware Verification : Methods and Systems in Comparison - Thomas Kropf

Formal Hardware Verification

Methods and Systems in Comparison

By: Thomas Kropf (Editor)

Paperback Published: 27th August 1997
ISBN: 9783540634751
Number Of Pages: 376

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 7 to 10 business days

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 representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10. 5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.

List of Contributorsp. 1
Symbolic Trajectory Evaluationp. 3
Verification with Abstract State Machines Using MDGsp. 79
Design Verification Using Synchronized Transitionsp. 114
Hardware Verification Using PVSp. 156
Verifying VHDL Designs with COSPANp. 206
The C@S Systemp. 248
The Common Book Examplesp. 330
Referencesp. 349
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540634751
ISBN-10: 3540634754
Series: Formal Hardware Verification
Audience: General
Format: Paperback
Language: English
Number Of Pages: 376
Published: 27th August 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.65 x 16.15  x 2.06
Weight (kg): 0.49