A Simulation-Based Method for the Verification of Shared Memory in Multiprocessor Systems.

Scott A. Taylor, Carl Ramey, Craig Barner, David Asher

Browse the full ICCAD paper archive.