[发明专利]处理器验证系统及基于处理器验证系统的处理器验证方法

说明书

本发明提供一种处理器验证系统及基于处理器验证系统的处理器验证方法，该系统包括仿真系统，用于接收待测程序，并进行仿真；参考模型，用于接收待测程序；检查点管理器，用于保存和恢复仿真系统的仿真状态；监视器，用于监测仿真系统的仿真状态，并在仿真系统的仿真状态满足预设条件时，启动检查点管理器，以使检查点管理器保存和恢复仿真系统的仿真状态；比较器，用于将仿真系统的仿真状态的值和参考模型产生的仿真期望值进行比较。在处理器出现异步中断时，通过启动检查点管理器，对当前异步中断的状态进行保存，并恢复仿真系统的仿真状态，以方便参考模型期望值的比对，在提高处理器功能验证的效率的同时，也完成了对处理器功能的完整验证。

技术领域

本发明涉及通信技术领域，尤其涉及一种处理器验证系统及基于处理器验证系统的处理器验证方法。

背景技术

集成电路设计开发中处理器模块规模大、复杂度高。集成电路在生产制造前需要验证所设计电路硬件的正确性，功能验证则是为了确保待测电路的行为与功能设计规范一致，实现的方式包含处理器功能验证。

在实现本发明的过程中，发明人发现现有技术中至少存在如下技术问题：

处理器功能验证不能高效支持处理器异步中断行为，给参考模型期望值的建立及比对造成困难，导致处理器功能验证的效率降低，在验证后期难以在较短的迭代周期下对处理器功能进行完整的验证。

发明内容

本发明提供的处理器验证系统及基于处理器验证系统的处理器验证方法，实现了处理器功能的完整验证，提高了处理器功能验证的效率。

第一方面，本发明提供一种处理器验证系统，包括：

仿真系统、参考模型、检查点管理器、监视器和比较器；

所述仿真系统，用于接收待测程序，并进行仿真；

所述参考模型，用于接收待测程序；

所述检查点管理器，用于保存和恢复所述仿真系统的仿真状态；

所述监视器，用于监测所述仿真系统的仿真状态，并在所述仿真系统的仿真状态满足预设条件时，启动所述检查点管理器，以使所述检查点管理器保存和恢复所述仿真系统的仿真状态；

所述比较器，用于将所述仿真系统的仿真状态的值和所述参考模型产生的仿真期望值进行比较。

可选的，所述仿真系统包括待测处理器；

所述监视器，具体用于检测所述仿真系统中的所述待测处理器的仿真状态。

可选的，所述待测处理器，还用于控制所述参考模型进行相应状态的更新，并产生仿真期望值；

所述相应状态为与所述待测处理器的状态相同的状态。

第二方面，本发明实施例还提供了一种基于上述的处理器验证系统的处理器验证方法，包括：

仿真系统和参考模型读取并执行待测程序，监视器检查所述仿真系统的仿真状态；

所述监视器在所述仿真系统中的待测处理器发生异步中断时，所述待测处理器处理异步中断；

检查点管理器保存所述仿真系统的仿真状态，并将所述仿真系统的仿真状态恢复至与所述参考模型的仿真状态一致。

可选的，所述方法还包括：

比较器在所述仿真系统的仿真状态未满足预设条件时，读取所述仿真系统的仿真状态的值，并将所述仿真系统的仿真状态的值和所述参考模型产生的仿真期望值进行比较。

可选的，所述方法还包括：

在所述比较器监测到待测程序执行结束时，所述监视器向所述参考模型发送更新状态的通知。