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

权利要求书

1.一种验证处理器的方法，其特征在于，所述方法包括：

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

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

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

根据所述待验证处理器对各个当前指令序列的执行结果，判断所述待验证处理器是否存在问题；

其中，所述对当前指令进行随机化处理，包括：

将所述当前指令输入至所述待验证处理器进行处理，得到所述待验证处理器对所述当前指令的执行结果；

若所述待验证处理器对所述当前指令的执行结果使得程序计数器中的当前地址跳转至所述当前指令的地址的下一个地址，则将所述当前指令划分至第一类指令类型中；

若所述待验证处理器对所述当前指令的执行结果使得所述程序计数器中的当前地址跳转至所述当前指令的地址的下一个地址以外的地址，则将所述当前指令划分至第二类指令类型中；

若所述当前指令对应的指令类型为所述第一类指令类型，则直接将所述当前指令的指令参数随机修改为预设指令参数集合中的任意一个指令参数；

若所述当前指令对应的指令类型为所述第二类指令类型，则将所述待验证处理器对所述当前指令的执行结果随机修改为预设执行结果集合中的任意一个执行结果；根据修改后的执行结果将所述当前指令的指令参数随机修改为所述预设指令参数集合中的任意一个指令参数。

2.根据权利要求1所述的方法，其特征在于，所述方法还包括：

若所述当前指令与预先保存的指令集合中的任意一条指令相同，则将所述当前指令对应的执行次数加1；

若所述当前指令与所述预先保存的指令集合中的各条指令均不相同，则将所述当前指令保存至所述预先保存的指令集合中，并将所述当前指令对应的执行次数加1；

根据所述预先保存的指令集合中的各条指令对应的执行次数以及预先确定的各个当前指令序列对应的寄存器转换级电路RTL文件，确定出所述待验证处理器的验证进度。

3.根据权利要求2所述的方法，其特征在于，所述方法还包括：

根据所述预先保存的指令集合中的各条指令对应的执行次数，确定出所述预先保存的指令集合中的各条指令被验证的程度；

根据所述预先保存的指令集合中的各条指令被验证的程度，调整所述精简指令集中的各条指令被选中的概率，使得所述精简指令集中的各条指令被选取出的次数相同或者任意两条指令被抽取出的次数的差值在预设范围内。