Scott A. Taylor Carl Ramey Craig Barner David Asher A Simulation-Based Method for the Verification of Shared Memory in Multiprocessor Systems. 10-17 2001 ICCAD http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad2001/papers/2001/iccad01/htmfiles/sun_sgi/iccadabs.htm#01a_2 db/conf/iccad/iccad2001.html#TaylorRBA01