Hachtel, Gary D Logic synthesis and verification algorithms Hachtel, Gary D.; Somenzi, Fabio - Boulder: Springer, 1996. ISBN: 9780387310046 Dewey Class. No.: 621.395 / HAC