PCMT: Prioritizing Coherence Message Types for NoC Protocol-Level Deadlock Freedom. - Yufan Jia; Zhiyuan Zhang; Chao Fu; Li Wan 008; Jun Han 003 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2026)