Automatic Verification of the SCI Cache Coherence Protocol (1995)

by Ulrich Stern, David L. Dill
Venue:In Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference Proceedings