Verification of chip multiprocessor memory systems using a relaxed scoreboard (2008)

by O Shacham, M Wachs, A Solomatnikov, A Firoozshahian, S Richardson, M Horowitz
Venue:Microarchitecture, 2008. The 41st Annual IEEE/ACM International Symposium on