[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Verification of a lazy cache coherence protocol against a weak memory model
- 作者Banks, Christopher J.; Elver, Marco; Hoffmann, Ruth; Sarkar, Susmit; Jackson, Paul; Nagarajan, Vijay
- 文件大小152.55KB
- 发表时间2017
- DOI10.23919/FMCAD.2017.8102242
- 页码60-67