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