Hemangee K. Kapoor, Praveen Kanakala, Malti Verma, Shirshendu Das. Design and formal verification of a hierarchical cache coherence protocol for NoC based multiprocessors. The Journal of Supercomputing, 65(2):771-796, 2013. [doi]
Abstract is missing.