[发明专利]一种验证处理器的方法、装置、电子设备及存储介质

说明书

本申请公开了一种验证处理器的方法、装置、电子设备及存储介质，涉及集成电路技术领域。具体方案为：在精简指令集中选取一条指令作为当前指令，对当前指令进行随机化处理，将处理后的当前指令加入至指令队列中；重复执行上述操作，直到加入至指令队列中的指令的数量达到预设的指令队列长度；将指令队列中的指令组合为当前指令序列，输入至待验证处理器进行处理，得到当前指令序列的执行结果；若待验证处理器不满足验证收敛条件，重复执行上述操作，直到满足验证收敛条件；根据各个当前指令序列的执行结果，判断待验证处理器是否存在问题。本申请实施例可以针对非典型用例以及非典型应用对处理器进行验证，保证处理器实现的正确性和完整性。

技术领域

本申请涉及计算机技术领域，进一步涉及集成电路技术，尤其是一种验证处理器的方法、装置、电子设备及存储介质。

背景技术

RISC-V指令集是一个开源指令集，基于RISC-V指令集实现的处理器需完整执行RISC-V指令集中定义的各种指令，在对基于RISC-V指令集实现的处理器的验证过程中，验证处理器执行指令的过程和结果完全符合RISC-V指令集的定义，对于保证处理器实现的正确性和完整性十分重要。

在现有的验证处理器的方法中，可以通过IC前端验证平台验证处理器或者通过FPGA验证平台验证处理器。具体地，IC前端验证平台是通过典型用例的定向测试向量对处理器进行验证；FPGA平台是通过典型应用对处理器进行验证。

IC即集成电路(Integrated Circuit)，它是一种微型电子器件或部件，采用一定的工艺，把一个电路中所需的晶体管、二极管、电阻、电容和电感等元件及布线互连一起，制作在一小块或几小块半导体晶片或介质基片上，然后封装在一个管壳内，成为具有所需电路功能的微型结构。典型用例的定向测试向量只能保证处理器在典型应用场景下的正确性和完整性，随着指令集中指令数目的增长，典型应用场景的数量会接近海量，靠典型应用的定向测试向量来保证处理器执行指令的正确性和完整性是不可能完成的任务。

FPGA即现场可编程门阵列(Field Programmable Gate Array)，它是在PAL、GAL等可编程器件的基础上进一步发展的产物，作为专用集成电路(ASIC)领域中的一种半定制电路而出现的，既解决了定制电路的不足，又克服了原有可编程器件门电路数有限的缺点。使用上述两个验证平台验证处理器，只能通过典型用例的定向测试向量或者典型应用对处理器进行验证，这样就会导致无法针对非典型用例以及非典型应用进行验证。而且FPGA平台无法与IC前端验证平台做到完全一致，例如，时钟复位策略、memory等标准单元时序等，它们在FPGA平台上的实现与它们在ASIC平台上的实现无法做到完全一致；如果只选用其中一个验证平台进行验证的话，必然会导致遗漏掉另外一个验证平台能够验证到的一些场景。此外，FPGA平台在排除漏洞的过程中效率非常低下，通常需要将FPGA平台中发现的问题复现在寄存器转换级电路(Register Transfer Level，简称RTL)验证平台，然后再确定漏洞，这样严重降低了设计迭代的效率。

发明内容

本申请提供了一种验证处理器的方法、装置、设备以及存储介质，可以针对非典型用例以及非典型应用对处理器进行验证，从而可以保证处理器实现的正确性和完整性。

第一方面，本申请提供了一种验证处理器的方法，所述方法包括：

按照预先设定的各条指令被选中的概率，在精简指令集中选取一条指令作为当前指令，对当前指令进行随机化处理，并将随机化处理后的当前指令加入至指令队列中；重复执行上述操作，直到加入至指令队列中的指令的数量达到预设的指令队列长度；

将所述指令队列中的指令组合为当前指令序列，并将所述当前指令序列输入至待验证处理器进行处理，得到所述待验证处理器对所述当前指令序列的执行结果；

若所述待验证处理器不满足验证收敛条件，重复执行上述提取所述当前指令的操作，直到所述待验证处理器满足所述验证收敛条件；