• DocumentCode
    1303758
  • 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.
  • Volume
    47
  • Issue
    1
  • fYear
    1998
  • fDate
    1/1/1998 12:00:00 AM
  • Firstpage
    135
  • Lastpage
    140
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.656100
  • Filename
    656100
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1303758