[发明专利]一种支持精确访存检测的多核处理器随机验证方法及装置有效
申请号: | 201610299336.1 | 申请日: | 2016-05-06 |
公开(公告)号: | CN105930242B | 公开(公告)日: | 2018-07-06 |
发明(设计)人: | 沈海华;赵跃辉;谭华哲 | 申请(专利权)人: | 中国科学院计算技术研究所 |
主分类号: | G06F11/26 | 分类号: | G06F11/26;G06F11/263 |
代理公司: | 北京律诚同业知识产权代理有限公司 11006 | 代理人: | 祁建国;梁挥 |
地址: | 100190 北*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 验证 多核处理器 向量 存储一致性 时间信息 模拟器 指令 正确性检查 并行程序 继续执行 模拟仿真 时间顺序 用户约束 指令库 检测 送入 记录 冲突 | ||
【说明书】:
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学院计算技术研究所,未经中国科学院计算技术研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201610299336.1/2.html,转载请声明来源钻瓜专利网。
- 上一篇:一种主板带电串口输出电压电流的检测装置
- 下一篇:一种计算机PXE测试方法