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; The Kluwer international series in engineering and computer science -- SECS 654; 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.