This repository provides a Murphi model and detailed protocol specification in table format of the C3D protocol [1].
| [1] | Cheng-Chieh Huang, Rakesh Kumar, Marco Elver, Boris Grot, and Vijay Nagarajan. C3D: Mitigating the NUMA Bottleneck via Coherent DRAM Caches. In IEEE/ACM International Symposium on Microarchitecture (MICRO). Taipei, Taiwan, October 2016. |