Logic synthesis and verification
By: editors, Soha Hassoun, Tsutomu Sasao.
Contributors: Hassoun, Soha.; Sasao, Tsutomu, 1950-
Series: The Kluwer international series in engineering and computer science -- SECS 654
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Boston
Language: eng
Number of pages: 454
Subjects: Logic circuits -- Computer-aided design.; Logic design -- Data processing.
Notes: Includes bibliographical references and index.