相关推荐

面向NoC架构的缓存一致性协议研究与实现

  • 作者:罗威
  • 出版社:中国科学院软件研究所
  • 出版年:2023

基于Murphi的参数化缓存一致性协议验证

  • 作者:李梓民
  • 出版社:中国科学院软件研究所
  • 出版年:2024

微结构级缓存一致性协议的模型检测

  • 作者:郑涛
  • 出版社:中国科学院
  • 出版年:2008