McVerSi: A test generation framework for fast memory consistency verification in simulation.

Marco Elver, Vijay Nagarajan

Browse the full HPCA paper archive.