Logic synthesis and verification algorithms

Hachtel, Gary D

Logic synthesis and verification algorithms Hachtel, Gary D.; Somenzi, Fabio - Boulder: Springer, 1996.

9780387310046

621.395 / HAC