Hachtel, Gary D.
Logic Synthesis and Verification Algorithms
- London: Kluwer Academic Publishers, 1996
- 564 p.; Illus. Index: 25 cm.
9780792397465 (hbk)
Data Processing
Integrated Circuits
Logic Design Data Processing
Verification Algorithms
Very Large Scale Integration Design
621.395 / HAC