2024
QED: Scalable Verification of Hardware Memory Consistency.
[DOI]
Gokulan Ravi
,
Xiaokang Qiu
,
Mithuna Thottethodi
,
T. N. Vijaykumar
CoRR, 2024