2004
Verification: what works and what doesn't.
[DOI]
Francine Bacchini
,
Robert F. Damiano
,
Bob Bentley
,
Kurt Baty
,
Kevin Normoyle
,
Makoto Ishii
,
Einat Yogev
Proceedings of the 41th Design Automation Conference, 2004