Building a verification test plan: trading brute force for finesse.

Janick Bergeron, Harry Foster, Andrew Piziali, Raj Shekher Mitra, Catherine Ahlschlager, Doron Stein

Browse the full DAC paper archive.