HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols. - Nicolai Oswald; Vijay Nagarajan; Daniel J. Sorin; Vasilis Gavrielatos; Theo X. Olausson; Reece Carr (IEEE Micro, 2023)