Design Verification of the S3.mp Cache-Coherent Shared-Memory System

—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstraction: the memory consistency model, the cache coherence protocol, and the implementation.

• Type: Journal
• Year: 1998
• Where: TC
• Authors: Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois
• Keywords: Cache Coherence Protocol, Information Technology, Memory Consistency Model, Scalable Emory Multiprocessor, TC 1998