Title :
Design verification of the S3.mp cache-coherent shared-memory system
Author :
Fong Pong ; Browne, Matthew ; Nowatzyk, A. ; Dubois, Matthieu
Author_Institution :
Hewlett-Packard Lab., Palo Alto, CA.
fDate :
1/1/1998 12:00:00 AM
Abstract :
This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable Shared-memory MultiProcessor (S3.mp) at three levels of abstraction: the memory consistency model, the cache coherence protocol, and the implementation
Keywords :
formal verification; parallel architectures; protocols; shared memory systems; S3.mp; Sun Scalable Shared-memory MultiProcessor; cache coherence protocol; cache-coherent; implementation; memory consistency model; shared-memory system; Access protocols; Automata; Buffer storage; Coherence; Computer Society; Context; Debugging; Formal verification; Read-write memory; Sun;
Journal_Title :
Computers, IEEE Transactions on
