Alan J. Hu, Masahiro Fujita, Chris Wilson. Formal Verification of the HAL S1 System Cache Coherence Protocol. In ICCD. pages 438-444, 1997.
@inproceedings{HuFW97,
title = {Formal Verification of the HAL S1 System Cache Coherence Protocol},
author = {Alan J. Hu and Masahiro Fujita and Chris Wilson},
year = {1997},
tags = {caching, protocol},
researchr = {https://researchr.org/publication/HuFW97},
cites = {0},
citedby = {0},
pages = {438-444},
booktitle = {ICCD},
}