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

权利要求书

1.一种处理器验证系统，其特征在于，包括：

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

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

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

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

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

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

2.根据权利要求1所述的系统，其特征在于，所述仿真系统包括待测处理器；

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

3.根据权利要求2所述的系统，其特征在于，所述待测处理器，还用于控制所述参考模型进行相应状态的更新，并产生仿真期望值；

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

4.一种基于权利要求1-3中任一项所述的处理器验证系统的处理器验证方法，其特征在于，包括：

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

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

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

5.根据权利要求4所述的方法，其特征在于，所述方法还包括：

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

6.根据权利要求4所述的方法，其特征在于，所述方法还包括：

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

7.根据权利要求4所述的方法，其特征在于，所述监视器在所述仿真系统中的待测处理器发生异步中断时，所述方法还包括：

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

8.一种基于权利要求1-3中任一项所述的处理器验证系统的处理器验证方法，其特征在于，包括：

参考模型读取并执行待测程序，获取所述待测程序的检查点；

所述仿真系统和/或所述参考模型依据所述检查点对所述待测程序进行仿真。

9.根据权利要求8所述的方法，其特征在于，所述仿真系统和/或所述参考模型依据所述检查点对所述待测程序进行仿真，包括：

在所述待测程序由所述参考模型执行仿真时，所述参考模型在运行到检查点时，检查点管理器保存所述参考模型的执行状态；

监视器向所述仿真系统发送执行所述待测程序的指令；

所述仿真系统根据所述检查点对所述待测程序进行仿真。

10.根据权利要求8所述的方法，其特征在于，所述仿真系统和/或所述参考模型依据所述检查点对所述待测程序进行仿真，包括：

在所述待测程序由所述参考模型执行仿真时，所述参考模型在运行到检查点时，检查点管理器保存所述参考模型的执行状态；

监视器向所述仿真系统和所述参考模型发送执行所述待测程序的指令；

所述仿真系统和所述参考模型根据所述检查点对所述待测程序进行仿真。