Scalably Verifiable Cache Coherence
<p>The correctness of a cache coherence protocol is crucial to the system since a subtle bug in the protocol may lead to disastrous consequences. However, the verification of a cache coherence protocol is never an easy task due to the complexity of the protocol. Moreover, as more and more core...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10161/8203 |