[发明专利]验证访存操作的方法与系统以及验证设备和存储介质有效
| 申请号： | 202011401740.8 | 申请日： | 2020-12-02 |
| 公开（公告）号： | CN112416687B | 公开（公告）日： | 2022-07-12 |
| 发明（设计）人： | 彭炳君;荣雪宇;陈元 | 申请（专利权）人： | 海光信息技术股份有限公司 |
| 主分类号： | G06F11/22 | 分类号： | G06F11/22 |
| 代理公司： | 北京市柳沈律师事务所 11105 | 代理人： | 彭久云 |
| 地址： | 300392 天津市华苑产业区*** | 国省代码： | 天津;12 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本公开提供一种验证访存操作的方法与系统以及验证设备和存储介质，该方法包括：访存单元获取待处理的目标访存写操作指令，进行处理并确定访存单元的目标访存写操作指令对应的第一执行事务；访存写操作参考模型模块获取与访存单元的目标访存写操作指令相同的目标访存写操作指令，模拟进行处理并确定访存写操作参考模型模块的目标访存写操作指令对应的第二执行事务；将访存单元输出的第一执行事务和访存写操作参考模型模块输出的第二执行事务发送至访存写操作记分板；访存写操作记分板将第一执行事务和第二执行事务进行比较，判断两者是否一致，以检查验证访存单元的第一执行事务。本公开实现对访存单元执行写操作指令的各种行为机制的检查验证。 | ||
| 搜索关键词： | 验证 操作 方法 系统 以及 设备 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于海光信息技术股份有限公司，未经海光信息技术股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011401740.8/，转载请声明来源钻瓜专利网。
