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)