首页> 中国专利> 一种基于扩展型Cache Coherence协议的多级一致性域仿真验证和测试方法

一种基于扩展型Cache Coherence协议的多级一致性域仿真验证和测试方法

摘要

本发明提出了一种基于扩展型Cache Coherence协议的多级一致性域仿真验证和测试方法。构建了一种基于扩展型Cache Coherence协议的多级一致性域CC-NUMA系统协议的仿真模型,发明系统关键节点内协议表查询与状态转换执行机制,确保单计算域内维护Cache Coherence协议并且多个计算域之间也同时维护Cache Coherence协议,域内与域间的传输确保准确性、稳定性;提出一种可信的协议入口转换覆盖率评价驱动验证方法,通过加载经优化的事务发生器推动模型进行事务处理,在运行结束时获得覆盖率指标,较之随机事务推进机制提高验证效率。通过构建一个多处理器多一致性域验证系统模型并开展相关仿真验证,进一步确认该方法的适用性和有效性。

著录项

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2014-09-17

    授权

    授权

  • 2013-08-07

    实质审查的生效 IPC(主分类):G06F 12/08 申请日:20130118

    实质审查的生效

  • 2013-06-12

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号