You need to sign in or sign up before continuing.

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 • paperback

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 • hardcover

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

Logic Minimization Algorithms for VLSI Synthesis

The Springer International Engineering and Computer Science

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

194 pages • paperback

nonfiction art computer science design mathematics technology