发明名称 | 一种微处理器IP核比较验证的实现方法 | ||
摘要 | 一种微处理器IP核比较验证的实现方法,其步骤如下:1)统一需验证的微处理器和参考模型的状态;2)需验证的微处理器和参考模型同步执行指定程序段;3)比较仿真结果,判断需验证的微处理器是否正确执行指定程序段。本专利可以模拟处理器运行操作系统需要的外部设备,控制并监测微处理器IP核的运行。当微处理器IP核在本专利提供的仿真环境中运行操作系统或应用程序时,可以通过比较微处理器参考模型与待测试的微处理器IP核在同一环境下的运行状态,快速定位出现分歧的位置,找出一些隐藏较深的设计错误,降低操作系统级别功能验证的工作量。 | ||
申请公布号 | CN103713977A | 申请公布日期 | 2014.04.09 |
申请号 | CN201310528269.2 | 申请日期 | 2013.10.31 |
申请人 | 中国船舶重工集团公司第七0九研究所 | 发明人 | 樊宇;张义伟;秦泰;张雁 |
分类号 | G06F11/26(2006.01)I | 主分类号 | G06F11/26(2006.01)I |
代理机构 | 武汉金堂专利事务所 42212 | 代理人 | 胡清堂 |
主权项 | 一种微处理器IP核比较验证的实现方法,其特征在于:其步骤如下:微处理器状态的初始化 设定微处理器参考模型和微处理器待验证IP核的状态,保证微处理器参考模型和待验证IP核在执行程序前,所有状态都一致;执行指定程序,进行仿真微处理器参考模型和微处理器待验证IP核在相同的仿真环境下,同步执行指定程序段,此步骤的关键是实现参考模型和待验证IP核在指令级别的同步,只有实现了指令级别的同步,才能保证验证的有效性; 3)验证仿真结果参考模型和待验证的微处理器IP核运行完同一段指令后,验证系统对两者的执行结果进行比较,据此判断微处理器IP核是否正确执行。 | ||
地址 | 430074 湖北省武汉市洪山区珞喻路718号 |