Design verification of the S3.mp cache-coherent shared-memory system

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 Shared-memory MultiProcessor (S3.mp) at three levels of abstraction: the memory consistency model, the cache coherence protocol, and the implementation.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on computers 1998-01, Vol.47 (1), p.135-140
Hauptverfasser: Fong Pong, Browne, M., Nowatzyk, A., Dubois, M.
Format: Artikel
Sprache:eng
Schlagworte:
Access protocols
Automata
Buffer storage
Coherence
Computer Society
Context
Debugging
Formal verification
Read-write memory
Sun
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0018-9340
1557-9956
DOI:10.1109/12.656100