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

F. Pong, M. Dubois, A. Nowatzyk, G. Aybay and M. Browne, "Design Verification of the S3.mp Cache-Coherent Shared-Memory System," in IEEE Transactions on Computers, vol. 47, no. , pp. 135-140, 1998.
doi:10.1109/12.656100
87 ms
(Ver 3.3 (11022016))