Memory Model Verification Project
Archived
Mail Discussions
Publications
Ritwik Bhattacharya and Ganesh Gopalakrishnan.Issues in Multiprocessor
Memory Consistency Protocol Design and Verification,
Workshop on Designing Correct Circuits, ETAPS 2002. [ps] [pdf]