Slide 1Implementation and Verification of a Cache Coherence protocol using Spin Steven Farago Slide 2 Goal To use Spin to design a plausible cache coherence protocol –Introduce…