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

说明书

本申请实施例提供了一种处理器验证方法及相关产品，所述方法包括：获取预设指令集；对所述指令集进行解析，得到验证代码；基于预设约束配置关系对所述验证代码进行编译，得到汇编代码；将所述汇编代码分别输入到预设参考模型和处理器，得到第一运算结果和第二运算结果；将所述第一运算结果与所述第二运算结果进行比对；在所述第一运算结果与所述第二运算结果之间的比对结果满足第一预设条件时，生成覆盖率报告；在所述覆盖率报告满足第二预设条件时，确认所述处理器验证成功。本申请实施例可以提升处理器验证的准确性。

技术领域

本申请涉及处理器技术领域，具体涉及一种处理器验证方法及相关产品。

背景技术

AI(artificial intelligence，人工智能)处理器指令集是专门针对AI算法定制的一套指令集系统，包括主控单元指令集、算法指令集等，一般可以通过ISS(instructionset simulator，指令集仿真器仿真)、FPGA(field programmable gate array，现场可编程门阵列)、断言等方式进行指令集的验证。然而，现有验证方式的准确性不高。

发明内容

本申请实施例提供了一种处理器验证方法及相关产品，可以提升处理器验证的准确性。

本申请实施例第一方面提供了一种处理器验证方法，包括：

获取预设指令集；

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

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

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

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

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

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

可选地，对所述预设约束配置关系进行调整，包括：

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

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

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

可选地，所述根据所述覆盖率报告对所述预设约束配置关系进行调整，包括：

根据所述覆盖率报告确定所述预设指令集中未被完全覆盖的至少一条目标指令；

按照预设的指令与约束配置关系调整参数之间的映射关系，确定所述至少一条目标指令对应的至少一个目标约束配置关系调整参数，每一目标指令对应一个目标约束配置关系调整参数；

依据所述至少一个目标约束配置关系调整参数对所述预设约束配置关系进行调整。

本申请实施例第二方面提供了一种处理器验证装置，包括:

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

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

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

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

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