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