[发明专利]验证访存操作的方法与系统以及验证设备和存储介质

说明书

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

技术领域

本公开的实施例涉及一种验证访存操作的方法与系统以及验证设备和存储介质。

背景技术

随着集成电路工艺水平以及计算机体系结构技术的不断发展，处理器的性能在过去的几十年中呈指数级的增长，伴随而来的是处理器设计规模以及复杂度也快速增加。随之而来就是验证的难度急剧增加。

高性能处理器核的验证方法的形成取决于以下几个方面：

(1)处理器核的架构发展变化，比如指令集架构；

(2)处理器核的微架构发展，处理器的微架构是在不断的优化提升；

(3)验证方法学的发展，比如UVM验证方法学。

由于高性能处理器的架构和微架构非常复杂，要进行充分验证必须要通过有效的方法进行快速验证，尽快收敛。

发明内容

本公开的实施例提供了一种验证访存操作的方法与系统以及验证设备和存储介质，实现了对访存单元执行写操作指令的各种行为机制的检查验证。

本公开至少一实施例提供了一种验证访存操作的方法，包括：

访存单元获取待处理的目标访存写操作指令，进行处理并确定所述访存单元的目标访存写操作指令对应的第一执行事务；

访存写操作参考模型模块获取与所述访存单元的目标访存写操作指令相同的目标访存写操作指令，模拟进行处理并确定所述访存写操作参考模型模块的目标访存写操作指令对应的第二执行事务；

将所述访存单元输出的所述第一执行事务和所述访存写操作参考模型模块输出的所述第二执行事务发送至访存写操作记分板；

所述访存写操作记分板将所述第一执行事务和所述第二执行事务进行比较，判断两者是否一致，以检查验证所述访存单元的所述第一执行事务。

例如，在本公开至少一实施例提供的一种验证访存操作的方法中，所述访存单元获取待处理的目标访存写操作指令，包括：

前端模型模块向所述访存单元发送访存指令，基于所述访存指令包括的初始访存写操作指令，所述访存单元获取所述目标访存写操作指令。

例如，在本公开至少一实施例提供的一种验证访存操作的方法中，所述前端模型模块向所述访存单元发送访存指令，基于所述访存指令包括的初始访存写操作指令，所述访存单元获取所述目标访存写操作指令，包括：

通过所述前端模型模块发送的所述访存指令包括的初始访存写操作指令经过预处理，得到预处理后的访存写操作指令，所述访存单元接收到所述预处理后的访存写操作指令，并将所述预处理后的访存写操作指令作为目标访存写操作指令。

例如，在本公开至少一实施例提供的一种验证访存操作的方法中，所述访存写操作参考模型模块获取与所述访存单元的目标访存写操作指令相同的目标访存写操作指令，包括：

所述访存单元将所述预处理后的访存写操作指令反馈至所述前端模型模块，所述前端模型模块的状态实时更新，