Logic Synthesis and Verification Algorithms
Full Title: | Logic Synthesis and Verification Algorithms |
---|---|
ISBN: | 0792397460 |
ISBN13: | 9780792397465 |
Authors: |
Hachtel, Gary D. Somenzi, Fabio |