Introduction to Formal Hardware Verification /

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