Automatic verification of the SCI cache coherence protocol (1995)

by U Stern, D L Dill
Venue:In Correct Hardware Design and Verification Methods: IFIP WG10.5 Ad- vanced Research Working Conference Proceedings