一种用于处理器指令集的并行自动化验证方法技术

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

A Parallel Automated Verification Method for Processor Instruction Set

The invention discloses a parallel automatic verification method for processor instruction set, which first generates instruction verification cases automatically; then simulates the verification cases on RTL circuit and monitors the simulation results; at the same time, the verification cases obtained in step 1 are processed by the processor reference model to calculate the expected results; finally, the format consistency between the simulation results and the expected results is achieved. The simulation results are correct when the two results are consistent, and the simulation results are wrong when the two results are inconsistent, and the error log is generated. The method of the invention can carry out efficient, comprehensive and accurate instruction simulation verification in a limited time to ensure the correctness of chip functions.

【技术实现步骤摘要】
一种用于处理器指令集的并行自动化验证方法
本专利技术属于数字集成电路处理器的验证领域，具体涉及一种用于处理器指令集的并行自动化验证方法。
技术介绍
随着数字集成电路规模的不断扩大，芯片集成的功能越来越复杂，支持的指令数目越来越多，对于数字集成电路指令的验证已经成为制约芯片验证的一个发展的一个重要因素，而指令验证因为验证空间非常巨大，验证结果检查缺少自动化方法，控制类、浮点类指令期望结果计算较为困难，因此关于指令的验证也成为了当前数字集成电路验证的一个难题。为了保证处理器功能的正确性，就必须编写大批量验证用例对其进行验证验证，依靠人力手动编写验证用例及检查验证结果在项目生命周期内将是一件很难完成的事。因此，需要寻找一种方法来提高指令验证的效率和全面性，已势在必行。目前，国内外关于数字集成电路处理器的验证文献资料较少，已知的验证技术和实际可操作的方法也相对较少，尚没有形成一种自动化的指令验证方法。
技术实现思路
本专利技术针对数字集成电路处理器验证面临的验证空间巨大的挑战，提出了一种可在有限时间内进行高效、全面、准确的自动化的指令验证方法，保证了处理器指令的覆盖性和正确性。为达到上述目的，本本文档来自技高网...

【技术保护点】
1.一种用于处理器指令集的并行自动化验证方法，其特征在于，包括以下步骤：步骤1：自动生成指令验证用例；步骤2：对步骤1得到的验证用例批量提交到超算服务器上，在实际RTL电路上进行多个任务的并行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；步骤3：对仿真结果和期望结果进行格式一致性处理，然后进行对比，当二者结果一致时，则仿真结果正确；当二者结果不一致时，则仿真结果错误；并生成结果日志文件。

【技术特征摘要】
1.一种用于处理器指令集的并行自动化验证方法，其特征在于，包括以下步骤：步骤1：自动生成指令验证用例；步骤2：对步骤1得到的验证用例批量提交到超算服务器上，在实际RTL电路上进行多个任务的并行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；步骤3：对仿真结果和期望结果进行格式一致性处理，然后进行对比，当二者结果一致时，则仿真结果正确；当二者结果不一致时，则仿真结果错误；并生成结果日志文件。2.根据权利要求1所述的一种用于处理器指令集的并行自动化验证方法，其特征在于，步骤1具体包括单条指令验证用例生成及相关指令验证用例生成。3.根据权利要求2所述的一种用于处理器指令集的并行自动化验证方法，其特征在于，单条指令验证用例生成过程如下：a)分析指令集特点，提取输入的参数；b)根据步骤a)输入的参数生成指令需要的全部随机及边界操作数、地址及条件域数据；c)根据步骤b)得到的数据生成辅助及待验证指令序列；同时根据步骤a)输入的参数生成结果输出指令序列，用于检查寄存器值，状态位及地址数据；所述辅助及待验证指令序列及结果输出指令序列共同组成单条指令验证用例。4.根据权利要求2所述的一种用于处理器指令集的并行自动化验证方法，其特征在于，相关指令验证用例生成过程如下：a)引入指令1、...

【专利技术属性】
技术研发人员：张辉，孙健，王璟琛，刘明，王宇飞，
申请(专利权)人：西安微电子技术研究所，
类型：发明
国别省市：陕西,61