Dimensions of Verifying the Hardware-Software Interface in a Shared-Memory Multiprocessor Dennis Abts

No abstract is available for this paper.

• Publication year

  1999

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Not labeled

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Protocol Veri(cid:12)cation as a Hardware Design Aid (cid:3)

  2021cited by this paper
• Verifying large-scale multiprocessors using an abstract verification environment

  1999cited by this paper
• Using Lamport clocks to reason about relaxed memory models

  1999cited by this paper
• Design Verification of the S3.mp Cache-Coherent Shared-Memory System

  1998cited by this paper
• Lamport clocks: verifying a directory cache-coherence protocol

  1998cited by this paper
• Retrospective: memory access buffering in multiprocessors

  1998cited by this paper
• To model check or not to model check

  1998cited by this paper
• Formal verification of complex coherence protocols using symbolic state models

  1998cited by this paper
• RAPID HARDWARE PROTOTYPING ON RPM-2: METHODOLOGY AND EXPERIENCE

  1998cited by this paper
• Multiprocessors Should Support Simple Memory-Consistency Models

  1998cited by this paper
• Retrospective: memory consistency and event ordering in scalable shared-memory multiprocessors

  1998cited by this paper
• Parallel Computer Architecture: A Hardware/Software Approach

  1998cited by this paper
• Origin system design methodology and experience: 1M-gate ASICs and beyond

  1997cited by this paper
• Formal Verification In A Commercial Setting

  1997cited by this paper
• Shared Memory Consistency Models: A Tutorial

  1996cited by this paper
• Integrating formal verification methods with a conventional project design flow

  1996cited by this paper
• Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study

  1995cited by this paper
• RPM: A Rapid Prototyping Engine for Multiprocessor Systems

  1995influential reference
• Performance optimizations, implementation, and verification of the SGI Challenge multiprocessor

  1994cited by this paper
• TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems

  1994cited by this paper
• The Scalable Coherent Interface: scaling to high-performance systems

  1994cited by this paper
• Formal specification of abstract memory models

  1993cited by this paper
• Designing memory consistency models for shared-memory multiprocessors

  1993cited by this paper
• Reasoning about parallel architectures

  1992cited by this paper
• The design and analysis of DASH: a scalable directory-based multiprocessor

  1992cited by this paper
• Implementation and performance of Munin

  1991cited by this paper
• A survey of cache coherence schemes for multiprocessors

  1990cited by this paper
• The directory-based cache coherence protocol for the DASH multiprocessor

  1990cited by this paper
• HOL: A Proof Generating System for Higher-Order Logic

  1988cited by this paper
• Computer Architecture: A Quantitative Approach

  1969cited by this paper

• The complexity of verifying memory coherence

  2003cites this paper
• A balanced approach to high-level verification: performance trade-offs in verifying large-scale multiprocessors

  2000cites this paper