Building a verification test plan: trading brute force for finesse. - Janick Bergeron; Harry Foster; Andrew Piziali; Raj Shekher Mitra; Catherine Ahlschlager; Doron Stein (DAC, 2006)

Post-silicon verification methodology on Sun's UItraSPARC T2. - Jai Kumar; Catherine Ahlschlager; Peter Isberg (HLDVT, 2007)