Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Gary D. Hachtel

Home / Authors / Gary D. Hachtel

Tags

logic mathematics computing formal methods abstraction (computer science) logic in computer science finite model theory model checking formal equivalence checking

Published Books

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

Read more

July 2006

Logic Minimization Algorithms for VLSI Synthesis

Read more

August 1984

Co-Authors