Logic synthesis and verification / editors, Soha Hassoun, Tsutomu Sasao. Hassoun, Soha. Sasao, Tsutomu, 1950- Logic circuits Computer-aided design. Logic design Data processing. TK7868.L6 L586 2002 621.395 21 LOG Includes bibliographical references and index. Boston : Kluwer Academic Publishers, c2002. c2002. 2002 Text xiv, 454 p. : http://www.loc.gov/catdir/enhancements/fy0820/2001050362-d.html http://www.loc.gov/catdir/enhancements/fy0820/2001050362-t.html eng The Kluwer international series in engineering and computer science ; SECS 654