Gary D. Hachtel

3 books • 2 series

Jan 1, 2006
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Jan 1, 1996
Cover of Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Aug 31, 1984
Cover of Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis (The Springer International Series in Engineering and Computer Science, #2)