Logic synthesis and verification - Hassoun, Soha.; Sasao, Tsutomu, 1950- (Boston : Kluwer Academic Publishers, 2002)
Includes bibliographical references and index.
Keywords: Logic circuits -- Computer-aided design; Logic design -- Data processing