相关推荐

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

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

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

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

片上多核处理器Cache一致性验证

  • 作者:苏东锋
  • 出版年:2015