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