Logic synthesis and verification algorithms
- New York: Springer, 2006
- xxiii, 562 p.; ill: 24 cm.
0387310045 (pbk)
Computer-aided design Integrated circuits -- Verification Integrated circuits -- Very large scale integration -- Design -- Data processing Integrated circuits Design Use of Computers Logic design -- Data processing