[发明专利]一种微处理器IP核比较验证的实现方法

摘要

一种微处理器IP核比较验证的实现方法，其步骤如下:1)统一需验证的微处理器和参考模型的状态;2)需验证的微处理器和参考模型同步执行指定程序段;3）比较仿真结果，判断需验证的微处理器是否正确执行指定程序段。本专利可以模拟处理器运行操作系统需要的外部设备，控制并监测微处理器IP核的运行。当微处理器IP核在本专利提供的仿真环境中运行操作系统或应用程序时,可以通过比较微处理器参考模型与待测试的微处理器IP核在同一环境下的运行状态，快速定位出现分歧的位置，找出一些隐藏较深的设计错误，降低操作系统级别功能验证的工作量。

主权项

一种微处理器IP核比较验证的实现方法,其特征在于:其步骤如下:微处理器状态的初始化     设定微处理器参考模型和微处理器待验证IP核的状态，保证微处理器参考模型和待验证IP核在执行程序前，所有状态都一致；执行指定程序，进行仿真微处理器参考模型和微处理器待验证IP核在相同的仿真环境下，同步执行指定程序段，此步骤的关键是实现参考模型和待验证IP核在指令级别的同步，只有实现了指令级别的同步，才能保证验证的有效性；  3）验证仿真结果参考模型和待验证的微处理器IP核运行完同一段指令后，验证系统对两者的执行结果进行比较，据此判断微处理器IP核是否正确执行。