Logic synthesis and verification /
editors, Soha Hassoun, Tsutomu Sasao.
- Boston : Kluwer Academic Publishers, c2002.
- xiv, 454 p. : ill. ; 24 cm.
- The Kluwer international series in engineering and computer science ; SECS 654 .
Includes bibliographical references and index.
0792376064 (alk. paper)
2001050362
Logic circuits--Computer-aided design.
Logic design--Data processing.
TK7868.L6 / L586 2002
621.395 / LOG
Includes bibliographical references and index.
0792376064 (alk. paper)
2001050362
Logic circuits--Computer-aided design.
Logic design--Data processing.
TK7868.L6 / L586 2002
621.395 / LOG