Code for the Relaxed Scoreboard (a verification tool for complex memory models)
You can read the paper describing this work here:
O. Shacham, M. Wachs, A. Solomatnikov, A. Firoozshahian, S. Richardson and M. Horowitz, "Verification of chip multiprocessor memory systems using a relaxed scoreboard," 2008 41st IEEE/ACM International Symposium on Microarchitecture, Lake Como, 2008, pp. 294-305. URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4771799&isnumber=4771764