Logic synthesis and verification algorithms /

מאת Hachtel, Gary D.
יצא לאור 1996

Abstraction Refinement for Large Scale Model Checking

מאת Wang, Chao., Wang, Chao., Hachtel, Gary D., Somenzi, Fabio.
יצא לאור 2006