Formal Verification of Circuits /

Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impos...

Full description

Bibliographic Details

Main Author:	Drechsler, Rolf
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2000.
Subjects:	Computer science. Computer input-output equipment. Electronic data processing. Computer-aided design. Computer engineering. Electronic books. Computers.
Online Access:	Connect to the full text of this electronic book