QED: Scalable Consistency Verification of Memory Instruction Reordering in Hardware.

Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi, T. N. Vijaykumar

Browse the full ISCA paper archive.