Abstraction Refinement for Large Scale Model Checking

ανά Wang, Chao., Wang, Chao., Hachtel, Gary D., Somenzi, Fabio.
Έκδοση 2006

Logic synthesis and verification algorithms /

ανά Hachtel, Gary D.
Έκδοση 1996