Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols

Fletch Rydell, An Qi Zhang, Nicolai Oswald +3

Processor design is converging on a new model of cache-coherent shared memory characterized by heterogeneity, hierarchy, and scopes. Protocols like CXL or AMBA CHI are used as glob…