公开(公告)号：CN109189479A

公开(公告)日：2019-01-11

申请号：CN201811190340.X

申请日：2018-10-12

Applicant: 西安微电子技术研究所

Inventor： 张辉 ,  孙健 ,  王璟琛 ,  刘明 ,  王宇飞

IPC: G06F9/38

Abstract: 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结果进行格式一致性处理，然后进行对比，当二者结果一致时，则仿真结果正确；当二者结果不一致时，则仿真结果错误，并生成错误日志。本发明方法能够在有限的时间内进行高效、全面、准确的指令仿真验证，以保证芯片功能的正确性。

公开(公告)号：CN109189479B

公开(公告)日：2023-02-24

申请号：CN201811190340.X

申请日：2018-10-12

Applicant: 西安微电子技术研究所

Inventor： 张辉 ,  孙健 ,  王璟琛 ,  刘明 ,  王宇飞

IPC: G06F9/38

Abstract: 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结果进行格式一致性处理，然后进行对比，当二者结果一致时，则仿真结果正确；当二者结果不一致时，则仿真结果错误，并生成错误日志。本发明方法能够在有限的时间内进行高效、全面、准确的指令仿真验证，以保证芯片功能的正确性。