Abstract:
The Origin 2000 system from Silicon Graphics Inc. pushed the complexity limits of ASIC design to levels previously only seen in full custom microprocessors. We describe t...Show MoreMetadata
Abstract:
The Origin 2000 system from Silicon Graphics Inc. pushed the complexity limits of ASIC design to levels previously only seen in full custom microprocessors. We describe the methodology used to implement and verify this ccNUMA (cache coherent non-uniform memory access) multiprocessor system. A formal specification, consisting of a detailed machine-readable description of the ccNUMA cache coherence protocol was the cornerstone used to manage the complexity of the design. This specification was formally verified and used to automate logic verification. We used a hierarchical approach at all levels to attack the design and verification. We made design decisions to ease verification without compromising system performance. The completion of this system, running at speed, with no bugs in the cache coherence protocol, validates this methodology.
Published in: Proceedings IEEE COMPCON 97. Digest of Papers
Date of Conference: 23-26 February 1997
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-7804-6
Print ISSN: 1063-6390