A Simulation-Based Method for the Verification of Shared Memory in Multiprocessor Systems. - Scott A. Taylor; Carl Ramey; Craig Barner; David Asher (ICCAD, 2001)