0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Not currently available

Formal Hardware Verification - Methods and Systems in Comparison (Electronic book text)
Formal Hardware Verification - Methods and Systems in Comparison (Electronic book text): Thomas Kropf
Formal Hardware Verification - Methods and Systems in Comparison (Electronic book text): Thomas Kropf

Share your images

Formal Hardware Verification - Methods and Systems in Comparison (Electronic book text)

Thomas Kropf

Series: Lecture Notes in Computer Science, 1287

 (sign in to rate)

Bookmark and Share

We have no sources for this product at present. If you add this to your wishlist we will let you know should it become available to order.

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.

General

Imprint: Springer
Country of origin: United States
Series: Lecture Notes in Computer Science, 1287
Release date: October 1997
Editors: Thomas Kropf
Format: Electronic book text
ISBN-13: 978-3-540-69577-6
Barcode: 9783540695776
Categories: Promotions
Books > Computing & IT > Applications of computing
Books > Computing & IT > Applications of computing > General
Books > Computing & IT > General theory of computing
Books > Computing & IT > General theory of computing > General
LSN: 3-540-69577-X

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners