Fine-grain abstraction and sequential don't cares for large scale model checking Conference Proceeding uri icon

Overview

publication date

  • October 11, 2004

Full Author List

  • Wang C; Hachtel GD; Somenzi F

Additional Document Info

start page

  • 112

end page

  • 118