Verification Coverage: When is Enough, Enough?

Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv

Browse the full DAC paper archive.