HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols | IEEE Journals & Magazine | IEEE Xplore