The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1998 vol.47)
pp: 135-140
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, Michael Browne, Günes Aybay, Andreas Nowatzyk, Michel Dubois, "Design Verification of the S3.mp Cache-Coherent Shared-Memory System", IEEE Transactions on Computers, vol.47, no. 1, pp. 135-140, January 1998, doi:10.1109/12.656100
57 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool