[发明专利]一种多核处理器Cache一致性模拟验证方法及验证装置在审
申请号: | 202011109721.8 | 申请日: | 2020-10-16 |
公开(公告)号: | CN112199291A | 公开(公告)日: | 2021-01-08 |
发明(设计)人: | 范君建;晁张虎;戴梅芝;朱红;柏颖;杨庆娜;王忠弈;贾亚平;王红灵;李宇杰;胡恩;李晨 | 申请(专利权)人: | 天津飞腾信息技术有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 湖南兆弘专利事务所(普通合伙) 43008 | 代理人: | 周长清 |
地址: | 300452 天津市滨海新*** | 国省代码: | 天津;12 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种多核处理器Cache一致性模拟验证方法及验证装置,该验证方法为:配置验证环境和验证激励,在验证环境下进行激励测试;在完成激励测试之后进行覆盖率收集与性能统计,通过全局协议正确性检查来判定系统是否按照协议要求进行状态的正确迁移。该验证装置是基于上述验证方法来构建的。本发明具有原理简单、操作简便、验证效果好等优点。 | ||
搜索关键词: | 一种 多核 处理器 cache 一致性 模拟 验证 方法 装置 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于天津飞腾信息技术有限公司,未经天津飞腾信息技术有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202011109721.8/,转载请声明来源钻瓜专利网。
- 上一篇:一种房产隐私字段信息模糊搜索方法
- 下一篇:明火无烟艾灸仪