Gary D Hachtel

Gary D Hachtel is the author of "Logic Minimization Algorithms for VLSI Synthesis", "Logic Synthesis and Verification Algorithms" and "Abstraction Refinement for Large Scale Model Checking".

Books by Gary D Hachtel

Logic Minimizatio...
Brayton, Robert K.
Paperback:

Logic Synthesis a...
Hachtel, Gary D.
Paperback: $99.99

Abstraction Refin...
Wang, Chao
Paperback: $139.99

Abstraction Refin...
Wang, Chao
Paperback: