The Community for Technology Leaders
Green Image
<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 (</it> at three levels of abstraction: the <it>memory consistency model</it>, the <it>cache coherence protocol</it>, and the <it>implementation</it>.</p>
Cache-coherent shared-memory multiprocessors, distributed directory-based protocols, formal verification, debugging.
Fong Pong, Michael Browne, Günes Aybay, Andreas Nowatzyk, Michel Dubois, "Design Verification of the Cache-Coherent Shared-Memory System", IEEE Transactions on Computers, vol. 47, no. , pp. 135-140, January 1998, doi:10.1109/12.656100
838 ms
(Ver 3.3 (11022016))