Cover Image

Introduction to Formal Hardware Verification /

Show other versions (1)

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. 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, s...

Full description

Bibliographic Details
Main Author: Kropf, Thomas
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Subjects:
Computer science.
Computer input-output equipment.
Artificial intelligence.
Electronics.
Electronic books.
Computers.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Introduction
  • Boolean Functions
  • Finite State Machine Based Approaches
  • Propositional Temporal Logics
  • Higher Order Logic
  • Appendix
  • References
  • Index. A more detailed table of contents can be found on our web site: http://www.springer.de.