Ofer Shacham Megan Wachs Alex Solomatnikov Amin Firoozshahian Stephen Richardson Mark Horowitz Verification of chip multiprocessor memory systems using a relaxed scoreboard. 294-305 2008 MICRO http://dx.doi.org/10.1109/MICRO.2008.4771799 conf/micro/2008 db/conf/micro/micro2008.html#ShachamWSFRH08