Mamata Dalui, Biplab K. Sikdar. Design of directory based cache coherence protocol verification logic in CMPs around TACA. In International Conference on High Performance Computing & Simulation, HPCS 2013, Helsinki, Finland, July 1-5, 2013. pages 318-325, IEEE, 2013. [doi]
Abstract is missing.