Verification of chip multiprocessor memory systems using a relaxed scoreboard.

Ofer Shacham, Megan Wachs, Alex Solomatnikov, Amin Firoozshahian, Stephen Richardson, Mark Horowitz

Browse the full MICRO paper archive.