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
Logic synthesis and verification algorithms Hachtel, Gary D.; Somenzi, Fabio - Boulder: Springer, 1996.
9780387310046
621.395 / HAC