Logic synthesis and verification algorithms /

nork Hachtel, Gary D.
Argitaratua 1996

Abstraction Refinement for Large Scale Model Checking

nork Wang, Chao., Wang, Chao., Hachtel, Gary D., Somenzi, Fabio.
Argitaratua 2006