[发明专利]多核处理器访存数据检测验证系统及方法

权利要求书

1.一种多核处理器访存数据检测验证系统，其特征在于，所述系统包括访存指令执行模拟器、存储器仿真模型、流水线监控器、指令访问存储器监控器、访存指令缓存器、模式选择器和比较器，其中，

所述访存指令执行模拟器，用于采集被发送到待验证设计中的访存指令，对所述访存指令进行模拟，发出对所述存储器仿真模型的读写请求，接收所述存储器仿真模型反馈的仿真结果，当所述流水线监控器监控到待验证设计中访存指令执行完成时，将所述存储器仿真模型反馈的仿真结果发送至所述比较器；

所述存储器仿真模型，用于模拟待验证设计中访存单元的存储器模型，接收所述访存指令执行模拟器发出的读写请求，并将仿真结果反馈给所述访存指令执行模拟器；

所述流水线监控器，用于监控待验证设计中访存指令在流水线中的运行状态；

所述指令访问存储器监控器，用于监控待验证设计中访存指令的读写操作，当待验证设计中的访存指令完成读写操作后，向所述访存指令缓存器发送仿真指示；

所述访存指令缓存器，用于在所述模式选择器选择当前工作模式是多核处理器模式时存放所述访存指令执行模拟器产生的访存指令以及对应的读写请求，当接收到所述指令访问存储器监控器发送来的仿真指示后，将所述访存指令和读写请求发送给所述存储器仿真模型；

所述模式选择器，用于选择当前工作模式是单核处理器模式或多核处理器模式；

所述比较器，用于对待验证设计的执行结果和所述访存指令执行模拟器发送的仿真结果进行比较。

2.根据权利要求1所述的系统，其特征在于，所述待验证设计中访存指令在流水线中的运行状态包括：访存指令当前所处流水线的位置、是否发生异常、是否发生刷新、是否到达最后一级流水线以及是否准备写回执行结果。

3.根据权利要求1所述的系统，其特征在于，当所述模式选择器选择当前工作模式是单核处理器模式时，所述访存指令执行模拟器，用于采集被发送到待验证设计中的访存指令，对所述访存指令进行模拟，并将模拟后的访存指令和对所述存储器仿真模型的读写请求直接发送给所述存储器仿真模型。

4.根据权利要求1所述的系统，其特征在于，所述比较器，还用于输出比较结果，当有错误发生时将出错的访存指令信息打印到仿真文件中。

5.一种多核处理器访存数据检测验证方法，其特征在于，包括：

访存指令执行模拟器采集被发送到待验证设计中的访存指令，对所述访存指令进行模拟，发出对存储器仿真模型的读写请求；

当模式选择器选择当前工作模式是多核处理器模式时，访存指令缓存器存放所述访存指令执行模拟器产生的访存指令以及对应的读写请求；

指令访问存储器监控器监控待验证设计中访存指令的读写操作，当待验证设计中的访存指令完成读写操作后，向所述访存指令缓存器发送仿真指示；

所述访存指令缓存器在接收到所述指令访问存储器监控器发送来的仿真指示后，将所述访存指令和读写请求发送给所述存储器仿真模型；

所述存储器仿真模型模拟待验证设计中访存单元的存储器模型，将仿真结果反馈给所述访存指令执行模拟器；

流水线监控器监控待验证设计中访存指令在流水线中的运行状态；

当所述流水线监控器监控到待验证设计中访存指令执行完成时，所述访存指令执行模拟器将所述存储器仿真模型反馈的仿真结果发送至比较器；

所述比较器对待验证设计的执行结果和所述访存指令执行模拟器发送的仿真结果进行比较。

6.根据权利要求5所述的方法，其特征在于，所述待验证设计中访存指令在流水线中的运行状态包括：访存指令当前所处流水线的位置、是否发生异常、是否发生刷新、是否到达最后一级流水线以及是否准备写回执行结果。