Fine-grain abstraction and sequential don’t cares for large scale model checking (2004)

by Gary D Hachtel Wang, Fabio Somenzi
Venue:In International Conference on Computer-Aided Design (ICCAD’04