The Verification of Cache Coherence Protocols

  title={The Verification of Cache Coherence Protocols},
  author={Fong Pong and Michel Dubois},
In this paper we introduce a verification technique for cache coherence protocols at the behavior level. Protocols are specified by a Finite State Machine (FSM) model. The global state space is the Cartesian product of an arbitrary number of individual cache state spaces and is symbolically expanded. A global FSM characterizing the protocol behavior is built and protocol verification becomes equivalent to finding whether or not the global FSM may enter erroneous states. State expansion only… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
17 Citations
1 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.

Sunshine ‘‘ Formal Methods in Communication Protocol Design ‘

  • C.A.G.V. Bochmann
  • IEEE Transactions on Communications, Vol. COM-28,
  • 1980
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…