Gary D. Hachtel

Gary D. Hachtel

2 books in the database

Books

Logic synthesis and verification algorithmsGary D. Hachtel

Logic synthesis and verification algorithms

Gary D. Hachtel · 1996

Logic Synthesis and Verification AlgorithmsGary D. Hachtel

Logic Synthesis and Verification Algorithms

Gary D. Hachtel · 2006

Co-authored books and collections

Books that list Gary D. Hachtel among their authors but not as the lead author: co-written works, collections and compilations.

Abstraction Refinement for Large Scale Model CheckingChao Wang

Abstraction Refinement for Large Scale Model Checking

Chao Wang · 2006