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

摘要

本发明提供一种多核处理器访存数据检测验证系统及方法。所述系统包括访存指令执行模拟器、存储器仿真模型、流水线监控器、指令访问存储器监控器、访存指令缓存器、模式选择器和比较器，所述访存指令执行模拟器，用于采集被发送到待验证设计中的访存指令，对所述访存指令进行模拟，发出对所述存储器仿真模型的读写请求，接收所述存储器仿真模型反馈的仿真结果，当所述流水线监控器监控到待验证设计中访存指令执行完成时，将所述仿真结果发送至比较器；所述比较器，用于对待验证设计的执行结果和所述访存指令执行模拟器发送的仿真结果进行比较。本发明能够实现多核处理器访存数据检测验证的准确检测和错误定位，提高验证效率。

主权项

1.一种多核处理器访存数据检测验证系统，其特征在于，所述系统包括访存指令执行模拟器、存储器仿真模型、流水线监控器、指令访问存储器监控器、访存指令缓存器、模式选择器和比较器，其中，所述访存指令执行模拟器，用于采集被发送到待验证设计中的访存指令，对所述访存指令进行模拟，发出对所述存储器仿真模型的读写请求，接收所述存储器仿真模型反馈的仿真结果，当所述流水线监控器监控到待验证设计中访存指令执行完成时，将所述存储器仿真模型反馈的仿真结果发送至所述比较器；所述存储器仿真模型，用于模拟待验证设计中访存单元的存储器模型，接收所述访存指令执行模拟器发出的读写请求，并将仿真结果反馈给所述访存指令执行模拟器；所述流水线监控器，用于监控待验证设计中访存指令在流水线中的运行状态；所述指令访问存储器监控器，用于监控待验证设计中访存指令的读写操作，当待验证设计中的访存指令完成读写操作后，向所述访存指令缓存器发送仿真指示；所述访存指令缓存器，用于存放所述访存指令执行模拟器产生的访存指令以及对应的读写请求，当接收到所述指令访问存储器监控器发送来的仿真指示后，将所述访存指令和读写请求发送给所述存储器仿真模型；所述模式选择器，用于选择当前工作模式是单核处理器模式或多核处理器模式；所述比较器，用于对待验证设计的执行结果和所述访存指令执行模拟器发送的仿真结果进行比较。