Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking.

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Browse the full ICCD paper archive.