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

权利要求书

1.一种uncache数据访存的验证方法，其特征在于，包括以下步骤：

获取总线访存类型、缓存操作类型、有效数据位宽和地址；

判断总线访问的所述地址是否处于输入输出设备(I/O)地址段；

如果是，则判断所述缓存操作类型是否为uncache；

如果是，则获取访存列队的操作类型、缓存操作类型、有效数据位宽和地址；

判断所述总线访存类型、缓存操作类型、有效数据位宽和地址与所述访存列队的操作类型、缓存操作类型、有效数据位宽和地址是否匹配；

如果是，则对I/O发起uncache请求的总线操作计数器的有效标志位置位；

判断是否清空流水线；

如果否，则判断所述访存列队所对应的指令是否提交；

如果是，则访问I/O的uncache指令提交计数器有效标志位置位；

分别获取所述指令提交计数器和所述总线操作计数器的有效标志位，并根据所述有效标志位分别对计数器进行加1操作；以及

在所述指令提交计数器和所述总线操作计数器相等时，判断仿真是否结束。

2.根据权利要求1所述的uncache数据访存的验证方法，其特征在于，如果清空流水线，则分别获取所述指令提交计数器和所述总线操作计数器对应的有效标志位。

3.根据权利要求1所述的uncache数据访存的验证方法，其特征在于，所述根据所述有效标志位分别对计数器进行加1操作，进一步包括：

分别根据所述指令提交计数器和总线操作计数器的有效标志位判断是否对所述提交计数器和所述操作计数器执行加1操作，其中，当标志位有效时，对应的计数器执行加1操作。

4.根据权利要求1所述的uncache数据访存的验证方法，其特征在于，如果仿真未结束，则继续监控所述总线的读写操作。

5.根据权利要求1所述的uncache数据访存的验证方法，其特征在于，还包括：

如果所述提交计数器和所述操作计数器计数不相等，则报错。

6.一种uncache数据访存的验证装置，其特征在于，包括：

第一获取模块，用于获取总线访存类型、缓存操作类型、有效数据位宽和地址；

第一判断模块，用于判断总线访问的所述地址是否处于输入输出设备(I/O)地址段；

第二判断模块，在处于所述I/O地址段时，用于判断所述缓存操作类型是否为uncache；

第二获取模块，用于获取访存列队的操作类型、缓存操作类型、有效数据位宽和地址；

第三判断模块，用于判断所述总线访存类型、缓存操作类型、有效数据位宽和地址与所述访存列队的操作类型、缓存操作类型、有效数据位宽和地址是否匹配；

第一置位模块，在匹配时，用于对I/O发起uncache请求的总线操作计数器的有效标志位置位；

第四判断模块，用于判断是否清空流水线；

第五判断模块，在未清空流水线时，用于判断所述访存列队所对应的指令是否提交；

第二置位模块，在提交时，用于访问I/O的uncache指令提交计数器有效标志位置位；

操作模块，用于分别获取所述指令提交计数器和所述总线操作计数器的有效标志位，并根据所述有效标志位分别对计数器进行加1操作；以及

控制模块，用于在所述指令提交计数器和所述总线操作计数器相等时，判断仿真是否结束。

7.根据权利要求6所述的uncache数据访存的验证装置，其特征在于，当清空流水线时，所述操作模块直接获取所述指令提交计数器和所述总线操作计数器对应的有效标志位。

8.根据权利要求6所述的uncache数据访存的验证装置，其特征在于，所述操作模块还用于分别根据所述指令提交计数器和总线操作计数器的有效标志位判断是否对所述指令提交计数器和所述总线操作计数器执行加1操作，其中，当标志位有效时，对应的计数器执行加1操作。