Formal Hardware Verification: Methods and Systems in Comparison

by , ,

Write The First Customer Review
Formal Hardware Verification: Methods and Systems in Comparison - Kropf, Thomas (Editor), and Goos, G (Editor), and Hartmanis, J (Editor)

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

Formal Hardware Verification: Methods and Systems in Comparison 1997, Springer, Berlin, Germany

ISBN-13: 9783540634751

Trade paperback

Select