Reasoning in Boolean Networks : Logic Synthesis and Verification using Testing Techniques /

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by...

Full description

Bibliographic Details

Main Author:	Kunz, Wolfgang
Corporate Author:	SpringerLink (Online service)
Other Authors:	Stoffel, Dominik
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1997.
Series:	Frontiers in electronic testing ; 9.
Subjects:	Computer science. Computer-aided design. Computer engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book