https://research.nvidia.com/index.php/publication/2016-08_tricheck-memory-model-verification-trisection-software-hardware-and-isa
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA | Research
Memory consistency models (MCMs) which govern inter-module interactions in a shared memory system, are a significant, yet often under-appreciated, aspect of...