The Community for Technology Leaders
Green Image
ABSTRACT
<p><b>Abstract</b>—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent <it>Sun Scalable Shared-memory MultiProcessor (S3.mp)</it> at three levels of abstraction: the <it>memory consistency model</it>, the <it>cache coherence protocol</it>, and the <it>implementation</it>.</p>
INDEX TERMS
Cache-coherent shared-memory multiprocessors, distributed directory-based protocols, formal verification, debugging.
CITATION
Fong Pong, Michel Dubois, Andreas Nowatzyk, Günes Aybay, Michael Browne, "Design Verification of the S3.mp Cache-Coherent Shared-Memory System", IEEE Transactions on Computers, vol. 47, no. , pp. 135-140, January 1998, doi:10.1109/12.656100
92 ms
(Ver )