[发明专利]一种面向调试的处理器验证方法及验证设备

权利要求书

1. 一种面向调试的处理器验证方法，其中所述处理器采用流水线技术，所述方法包括如下步骤：

抓取指令通过处理器的流水线中每一级时所产生的特征信息，其中所述特征信息能够表征流水线每一级的功能执行情况；

根据处理器的预期模型，模拟出所述指令通过处理器流水线中每一级时应产生的特征信息；以及

将所抓取的特征信息与所模拟的特征信息进行比较，如果发生不一致，则报出错误和错误原因。

2. 根据权利要求1所述的面向调试的处理器验证方法，还包括：

为进入处理器的指令设定编号，所述编号随着指令进入处理器流水线并且在流水线的每一级保存；

其中在抓取特征信息的同时还抓取编号；并且其中

所述模拟和比较步骤都针对与所述编号相对应的指令而执行。

3. 根据权利要求1或2所述的面向调试的处理器验证方法，其中，对于在猜测执行模式下需要进行分支取消的指令，不进行比较步骤。

4. 根据权利要求1或2所述的面向调试的处理器验证方法，其中所述错误原因归类于处理器流水线的位置。

5. 一种面向调试的处理器验证设备，其中所述处理器采用流水线技术，所述设备包括：

抓取装置，用于抓取指令通过处理器的流水线中每一级时所产生的特征信息，其中所述特征信息能够表征流水线每一级的功能执行情况；

模拟装置，用于根据处理器的预期模型，模拟出所述指令通过处理器流水线中每一级时应产生的特征信息；

比较装置，用于将所抓取的特征信息与所模拟的特征信息进行比较，如果发生不一致，则报出错误和错误原因。

6. 根据权利要求5所述的面向调试的处理器验证设备，还包括：

编号装置，用于为进入处理器的指令设置编号，所述编号随着指令进入处理器流水线并且在流水线的每一级保存；

其中所述抓取装置在抓取特征信息的同时抓取编号；并且其中

所述模拟装置和所述比较装置都针对与所述编号相对应的指令进行操作。

7. 根据权利要求5或6所述的面向调试的处理器验证设备，其中所述编号装置是指令重定序计数器。

8. 根据权利要求5或6所述的面向调试的处理器验证设备，其中，对于在猜测执行模式下需要进行分支取消的指令，所述比较装置不对其进行操作。

9. 根据权利要求5或6所述的面向调试的处理器验证设备，其中所述错误原因归类于处理器流水线的位置。