A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors.

Dennis Abts, Mike Roberts, David J. Lilja

Browse the full ICPP paper archive.