Logic synthesis and verification algorithms /

Bibliographic Details
Main Author:	Hachtel, Gary D.
Other Authors:	Somenzi, Fabio
Format:	Book
Language:	English
Published:	New York, NY : Springer, [2006]
Edition:	First softcover ed.
Subjects:	Integrated circuits > Very large scale integration > Design > Data processing. Integrated circuits > Verification. Logic design > Data processing. Computer-aided design.

Evans: Library Stacks