[发明专利]处理器验证方法及相关产品

权利要求书

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

获取预设指令集；

对所述指令集进行解析，得到验证代码；

基于预设约束配置关系对所述验证代码进行编译，得到汇编代码；

将所述汇编代码分别输入到预设参考模型和处理器，得到第一运算结果和第二运算结果；

将所述第一运算结果与所述第二运算结果进行比对；

在所述第一运算结果与所述第二运算结果之间的比对结果满足第一预设条件时，生成覆盖率报告；

在所述覆盖率报告满足第二预设条件时，确认所述处理器验证成功。

2.根据权利要求1所述的方法，其特征在于，所述将所述汇编代码分别输入到预设参考模型和所述处理器，包括：

通过汇编器对所述汇编代码进行编译，得到机器码；

将所述机器码分别输入到所述预设参考模型和所述处理器。

3.根据权利要求1或2所述的方法，其特征在于，所述将所述第一运算结果与所述第二运算结果进行比对，包括：

将所述第一运算结果与所述第二运算结果进行指令序列分析，得到比对结果。

4.根据权利要求1-3任一项所述的方法，其特征在于，所述方法还包括：

在所述第一运算结果与所述第二运算结果之间的比对结果不满足所述第一预设条件时，对所述预设约束配置关系进行调整。

5.根据权利要求1-4任一项所述的方法，其特征在于，所述方法还包括：

在所述覆盖率报告不满足所述第二预设条件时，根据所述覆盖率报告对所述预设约束配置关系进行调整。

6.根据权利要求4所述的方法，其特征在于，所述对所述预设约束配置关系进行调整，包括：

通过所述比对结果确定所述第二运算结果中的目标差异化参数；

按照预设的差异化参数与约束配置关系调整参数之间的映射关系，确定所述目标差异化参数对应的目标约束配置关系调整参数；

根据所述目标约束配置关系调整参数对所述预设约束配置关系进行调整。

7.一种处理器验证装置，其特征在于，包括:

获取单元，用于获取预设指令集；

解析单元，用于对所述指令集进行解析，得到验证代码；

编译单元，用于基于预设约束配置关系对所述验证代码进行编译，得到汇编代码；

运算单元，用于将所述汇编代码分别输入到预设参考模型和处理器，得到第一运算结果和第二运算结果；

比对单元，用于将所述第一运算结果与所述第二运算结果进行比对；

生成单元，用于在所述第一运算结果与所述第二运算结果之间的比对结果满足第一预设条件时，生成覆盖率报告；

确定单元，用于在所述覆盖率报告满足第二预设条件时，确认所述处理器验证成功。

8.根据权利要求7所述的装置，其特征在于，在所述将所述汇编代码分别输入到预设参考模型和所述处理器方面，所述运算单元具体用于：

通过汇编器对所述汇编代码进行编译，得到机器码；

将所述机器码分别输入到所述预设参考模型和所述处理器。

9.一种电子设备，其特征在于，包括目标处理器、存储器，所述存储器用于存储一个或多个程序，并且被配置由所述目标处理器执行，所述程序包括用于执行如权利要求1-6任一项所述的方法中的步骤的指令。

10.一种计算机可读存储介质，存储有计算机程序，所述计算机程序被目标处理器执行以实现如权利要求1-6任一项所述的方法。