Slide 1 Slide 0 FMCAD 2004 How To Specify and Verify Cache Coherence Protocols: An Elementary Tutorial Ching-Tsun Chou Microprocessor Technology Lab Corporate Technology…