[发明专利]uncache数据访存的验证方法及装置

说明书

本发明公开了一种uncache数据访存的验证方法及装置，其中，方法包括：获取总线访存类型、缓存操作类型、有效数据位宽和地址；判断地址是否处于I/O地址段；如果是，则判断是否为uncache；如果是，则获取访存列队的操作类型、缓存操作类型、有效数据位宽和地址；判断是否匹配；如果是，则操作有效标志位置位；判断指令是否提交；如果是，则指令有效标志位置位；获取提两个计数器的有效标志位，并进行加1操作；在指令提交计数器和操作计数器相等时，判断仿真是否结束。该方法可以对总线uncache行为进行自校验，从而检测出变序多发射处理器外部总线uncache操作次数是否正确，提高验证准确度。

技术领域

本发明涉及处理器技术领域，特别涉及一种uncache数据访存的验证方法及装置。

背景技术

在相关技术的变序多发射处理器系统级验证过程中，缓存以及处理器外部的总线操作对于程序员来说是不可见的，处理器在执行过程中，完全信任处理器外部总线读写的数据以及操作，而验证环境的检查机制也相应的完全信任总线上的数据以及操作。因此，在系统级验证环境中，无法保证变序多发射处理器uncache指令提交的次数与处理器外部总线对I/O发起的读写操作的次数一一对应，由此引发的功能BUG则不能够被检测出来，导致项目流片失败。

目前，在对处理器内部存储器访问模块进行模块级验证时，都是通过驱动处理器内部的访问存储器模块的输入信号，通过处理器内部输出信号来验证数据的正确性，保证了存储器访问模块与处理器内部其余模块交互的正确性，而忽略了与处理器外部总线交互操作的正确性。无法保证变序多发射处理器uncache指令提交的次数与处理器外部总线对I/O发起的读写操作的次数一一对应。

然而，在系统级验证时，只能通过定向测试程序来构造特定的场景，通过查看波形的方式来检验该测试点，在验证过程中难以达到快速收敛的要求。

发明内容

本发明旨在至少在一定程度上解决相关技术中的技术问题之一。

为此，本发明的一个目的在于提出一种uncache数据访存的验证方法，该方法可以检测出变序多发射处理器外部总线uncache操作次数是否正确。

本发明的另一个目的在于提出一种uncache数据访存的验证装置。

为达到上述目的，本发明一方面实施例提出了一种uncache数据访存的验证方法，包括以下步骤：获取总线访存类型、缓存操作类型、有效数据位宽和地址；判断总线访问的所述地址是否处于输入输出设备(I/O)地址段；如果是，则判断所述缓存操作类型是否为uncache；如果是，则获取访存列队的操作类型、缓存操作类型、有效数据位宽和地址；判断所述总线访存类型、缓存操作类型、有效数据位宽和地址与所述访存列队的操作类型、缓存操作类型、有效数据位宽和地址是否匹配；如果是，则将用于总线对I/O发起uncache操作计数器有效标志位置位；判断是否清空流水线；如果否，则判断所述访存列队所对应的指令是否提交；如果是，则访问I/O的uncache指令提交计数器有效标志位置位；分别获取所述指令提交计数器和所述总线操作计数器的有效标志位，并根据所述有效标志位分别对计数器进行加1操作；在所述指令提交计数器和所述总线操作计数器相等时，判断仿真是否结束。

本发明实施例的uncache数据访存的验证方法，通过待测设计uncache指令提交行为来对总线uncache行为进行自校验，从而检测出变序多发射处理器外部总线uncache操作次数是否正确，处理器验证人员可以准确监控访问I/O地址段的uncache指令是否被分支预测或异步异常导致的清空流水线的操作所影响，确保处理器不会发生错误冗余的总线操作，提高验证准确度。

另外，根据本发明上述实施例的uncache数据访存的验证方法还可以具有以下附加的技术特征：

进一步地，在本发明的一个实施例中，如果清空流水线，则分别获取所述指令提交计数器和所述总线操作计数器的有效标志位。