Gary D. Hachtel
Share
Bibliography
format
Book
eBook
Order
Edition Date
Ranking
-
Logic Minimization Algorithms For Vlsi SynthesiseBookSPRINGER US12-20120,00€
-
Abstraction Refinement For Large Scale Model CheckingeBookSPRINGER US09-20060,00€
-
Logic Synthesis And Verification AlgorithmseBookSPRINGER US08-20060,00€
-
Logic Synthesis And Verification AlgorithmseBookSPRINGER US12-20050,00€