Introduction to Formal Hardware Verification: Methods and Tools for Designing Correct Circuits and Systems

  • Authors:

  • Thomas Kropf

  • Affiliations:

  • -

  • Venue:
  • Introduction to Formal Hardware Verification: Methods and Tools for Designing Correct Circuits and Systems
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

From the Publisher:This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction and a summary as well as a section for the advanced reader. Thus a broad audience is addressed, from beginners in system design to experts.