Logic synthesis and verification algorithms - Hachtel, Gary D.; Somenzi, Fabio (Boston : Kluwer Academic Publishers, 1996)
Keywords: Integrated circuits -- Very large scale integration -- Design -- Data processing; Logic design -- Data processing; Integrated circuits -- Verification; Computer-aided design