公开(公告)号：CN112416687B

公开(公告)日：2022-07-12

申请号：CN202011401740.8

申请日：2020-12-02

Applicant: 海光信息技术股份有限公司

Inventor： 彭炳君 ,  荣雪宇 ,  陈元

IPC: G06F11/22

Abstract: 本公开提供一种验证访存操作的方法与系统以及验证设备和存储介质，该方法包括：访存单元获取待处理的目标访存写操作指令，进行处理并确定访存单元的目标访存写操作指令对应的第一执行事务；访存写操作参考模型模块获取与访存单元的目标访存写操作指令相同的目标访存写操作指令，模拟进行处理并确定访存写操作参考模型模块的目标访存写操作指令对应的第二执行事务；将访存单元输出的第一执行事务和访存写操作参考模型模块输出的第二执行事务发送至访存写操作记分板；访存写操作记分板将第一执行事务和第二执行事务进行比较，判断两者是否一致，以检查验证访存单元的第一执行事务。本公开实现对访存单元执行写操作指令的各种行为机制的检查验证。

公开(公告)号：CN112416687A

公开(公告)日：2021-02-26

申请号：CN202011401740.8

申请日：2020-12-02

Applicant: 海光信息技术股份有限公司

Inventor： 彭炳君 ,  荣雪宇 ,  陈元

IPC: G06F11/22

Abstract: 本公开提供一种验证访存操作的方法与系统以及验证设备和存储介质，该方法包括：访存单元获取待处理的目标访存写操作指令，进行处理并确定访存单元的目标访存写操作指令对应的第一执行事务；访存写操作参考模型模块获取与访存单元的目标访存写操作指令相同的目标访存写操作指令，模拟进行处理并确定访存写操作参考模型模块的目标访存写操作指令对应的第二执行事务；将访存单元输出的第一执行事务和访存写操作参考模型模块输出的第二执行事务发送至访存写操作记分板；访存写操作记分板将第一执行事务和第二执行事务进行比较，判断两者是否一致，以检查验证访存单元的第一执行事务。本公开实现对访存单元执行写操作指令的各种行为机制的检查验证。