Gary D. Hachtel

Gary D. Hachtel

2 ספרים במאגר

ספרים

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

ספרים משותפים ואוספים

ספרים שבהם Gary D. Hachtel מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Abstraction Refinement for Large Scale Model CheckingChao Wang

Abstraction Refinement for Large Scale Model Checking

Chao Wang · 2006