Lazy abstraction and SAT-based reachability in hardware model checking.

Yakir Vizel, Orna Grumberg, Sharon Shoham

Browse the full FMCAD paper archive.