Design and formal verification of a hierarchical cache coherence protocol for NoC based multiprocessors. - Hemangee K. Kapoor; Praveen Kanakala; Malti Verma; Shirshendu Das (J. Supercomput., 2013)