N Dave, MC Ng - … on Formal Methods and Models for Co …, 2005 - ieeexplore.ieee.org
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 where many …