Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment.

Dennis Abts, Mike Roberts

Browse the full DAC paper archive.