Gary D. Hachtel

3 books

Logic Synthesis and Verification Algorithms by Fabio Somenzi, Gary D. Hachtel

Logic Synthesis and Verification Algorithms

Fabio Somenzi, Gary D. Hachtel

564 pages • missing pub info (editions)

nonfiction computer science design science informative slow-paced
Abstraction Refinement for Large Scale Model Checking by Fabio Somenzi, Chao Wang, Gary D. Hachtel

Abstraction Refinement for Large Scale Model Checking

Series on Integrated Circuits and Systems

Fabio Somenzi, Chao Wang, Gary D. Hachtel

179 pages • missing pub info (editions)

nonfiction art computer science design technology medium-paced
Logic Minimization Algorithms for VLSI Synthesis by Robert K. Brayton, C. McMullen, Gary D. Hachtel

Logic Minimization Algorithms for VLSI Synthesis

The Springer International Engineering and Computer Science

Robert K. Brayton, C. McMullen, Gary D. Hachtel

194 pages • missing pub info (editions)

nonfiction art computer science design mathematics technology