Design verification of the S3.mp cache-coherent shared-memory system
Fong Pong, M. C. Browne, Andreas G. Nowatzyk, Michel Dubois · IEEE Transactions on Computers · 1998
This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable Shared-memory MultiProcessor (S3.mp) at three levels of abstraction: the memory consistency model, the cache coherence protocol, and the implementation.