Dynamic Verification of Cache Coherence Protocols

  title={Dynamic Verification of Cache Coherence Protocols},
  author={Jason F. Cantin and Mikko H. Lipasti and James E. Smith},
A method for improving the fault-tolerance of cache coherent multiprocessors is proposed. By dynamically verifying coherence operations in hardware, errors caused by manufacturing faults, soft errors, and design mistakes can be detected. Analogous to the DIVA concept for singleprocessor systems, a simple version of the protocol functions as a checker for the aggressive implementation. An example implementation is shown, and the overhead is estimated for a small SMP system. 
Highly Cited
This paper has 36 citations. REVIEW CITATIONS
27 Citations
23 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 27 extracted citations


Publications referenced by this paper.
Showing 1-10 of 23 references

writeback) Note: The MÆS transition results from remote reads, and doesn’t require an extra assertion. Replacements (SÆI

  • Æ IM
  • Workshop on Memory Performance Issues
  • 2001

“ VerityFormal Program for Custom CMOS Circuits

  • A. Kuehlman, A. Srinivasan, D. LaPotin.
  • IBM Journal of Research and Development
  • 1996

Similar Papers

Loading similar papers…