Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking.

Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John

Browse the full VLSID paper archive.