[PDF][PDF] Automatic generation of highly concurrent, hierarchical and heterogeneous cache coherence protocols from atomic specifications

NA Oswald - 2023 - core.ac.uk
Cache coherence protocols are often specified using only stable states and atomic
transactions for a single cache hierarchy level. Designing highly-concurrent, hierarchical …