Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol

Daniel J. Sorin, Manoj Plakal, Anne E. Condon, Mark D. Hill, Milo M. K. Martin, and David A. Wood

To appear in Transactions on Parallel and Distributed Systems. Online copy of paper.

Online Protocol Documentation

Broadcast Snooping protocol

Table 5 (cache controller)

Table 9 (memory controller)

Multicast Snooping protocol

Table 13 (cache controller)

Table 17 (memory controller)