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