100
click to vote
MEMOCODE
2005
IEEE
15 years 8 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...