CN109992892A - 一种参考模型校验方法、装置、电子设备及可读存储介质 - Google Patents

Abstract

本发明公开了一种参考模型校验方法、装置、电子设备及可读存储介质，该参考模型校验方法包括如下步骤：获取参考模型中的至少一个功能模块的所有待校验源数据以及各个待校验源数据对应的理论值结果；将待校验源数据输入对应的功能模块，得到待校验源数据的执行值结果；根据执行值结果与理论值结果对参考模型进行检验。通过获取参考模型中的至少一个功能模块的所有待校验源数据，并获取各个待校验源数据对应的理论值结果，然后将待校验源数据输入对应的功能模块，得到待校验源数据的执行值结果，从而能够根据执行值结果与理论值结果对参考模型进行检验，解决现有技术中没有对自动化仿真验证中的参考模型进行有效验证的方法。

Description

一种参考模型校验方法、装置、电子设备及可读存储介质

技术领域

本发明涉及集成电路技术领域，尤其涉及到一种参考模型校验方法、 装置、电子设备及可读存储介质。

背景技术

随着数字集成电路规模的不断扩大，芯片集成的功能越来越复杂，支 持的指令数目越来越多，对于数字集成电路指令的验证已经成为制约芯片 验证的一个发展的一个重要因素，而指令验证因为验证空间非常巨大，验 证结果检查缺少自动化方法，控制类、浮点类指令期望结果计算较为困难， 因此关于指令的验证也成为了当前数字集成电路验证的一个难题。为了保 证处理器功能的正确性，就必须编写大批量验证用例对其进行验证，依靠 人力手动编写验证用例及检查验证结果在项目生命周期内将是一件很难完 成的事。因此，需要寻找一种方法来提高指令验证的效率和全面性，已势 在必行。

其思想是先建立待测系统的待测模型，然后通过将待测模型的所有状 态空间的输出结果与参考模型(能够正确实现待测模型的预期功能的模型) 的对应输出结果进行比较，判断待测模型是否能够实现预期功能的自动化 仿真验证，能够实现上述要求，高效、全面的进行指令验证。而根据自动 化仿真验证的验证原理可知，参考模型(ReferenceModel，RM)的正确性 至关重要，但是，虽然对于使用参考模型对待测系统进行自动化仿真验证 的验证效率较高且验证全面，但是，对于参考模型自身，仍然没有有效的 验证方法。

发明内容

有鉴于此，本发明实施例提供了一种参考模型校验方法、装置、电子 设备及可读存储介质，以解决现有技术中没有对自动化仿真验证中的参考 模型进行有效验证的方法。

根据第一方面，本发明实施例提供了一种参考模型校验方法，包括如 下步骤：获取参考模型中的至少一个功能模块的所有待校验源数据以及各 个待校验源数据对应的理论值结果；将待校验源数据输入对应的功能模块， 得到待校验源数据的执行值结果；根据执行值结果与理论值结果对参考模 型进行检验。

通过获取参考模型中的至少一个功能模块的所有待校验源数据，并获 取各个待校验源数据对应的理论值结果(该理论值结果一般为人为直接将 待校验源数据输入对应的计算指令，或者直接人为计算得到)，然后将待 校验源数据输入对应的功能模块，得到待校验源数据的执行值结果，从而 能够根据执行值结果与理论值结果对参考模型进行检验，解决现有技术中 没有对自动化仿真验证中的参考模型进行有效验证的方法。

结合第一方面，在第一方面第一实施方式中，获取参考模型中的至少 一个功能模块的所有待校验源数据以及各个待校验源数据对应的理论值结 果的步骤，包括：获取源操作数文件以及理论值文件的存储路径；源操作 数文件中存储有待校验源数据的存储路径以及各个待校验源数据对应的功 能模块的序号，理论值文件中存储有各个待校验源数据对应的理论值结果； 读取源操作数文件以及理论值文件的内容，获取参考模型中的至少一个功 能模块的所有待校验源数据以及各个待校验源数据对应的理论值结果。

通过将所有待验证源操作数的存储路径均存储于一源操作数文件中， 能够加快源操作数的获取效率，同时，通过在源操作数文件中存储各个源 操作数对应的功能模块的序号，使得根据该序号找到需要验证该源操作数 的对应的功能模块，从而能够保证该待校验源数据能够被输入对应的功能 模块中完成验证，即能够在保证该模型校验方法的有效性的同时，提高该 方法的校验效率。

结合第一方面第一实施方式，在第一方面第二实施方式中，将待校验 源数据输入对应的功能模块，得到待校验源数据的执行值结果的步骤，包 括：根据待校验源数据对应的功能模块的序号，将待校验源数据输入对应 的功能模块，得到待校验源数据的执行值结果。

结合第一方面第一实施方式，在第一方面第三实施方式中，源操作数 文件中还存储有待校验源操作数的初始数据位宽，将待校验源数据输入对 应的功能模块，得到待校验源数据的执行值结果的步骤之前，还包括：判 断待校验源操作数的初始数据位宽是否为预设平台位宽；当待校验源操作 数的初始数据位宽为预设平台位宽时，则将待校验源数据输入对应的功能 模块，得到待校验源数据的执行值结果；当待校验源操作数的初始数据位宽不是预设平台位宽时，则将待校验源数据的位宽转换为预设平台位宽后， 将待校验源数据输入对应的功能模块，得到待校验源数据的执行值结果。

结合第一方面第三实施方式，在第一方面第四实施方式中，理论值结 果的位宽为预设平台位宽。

结合第一方面第三实施方式，在第一方面第五实施方式中，根据待校 验源数据对应的功能模块的序号，将待校验源数据输入对应的功能模块， 得到待校验源数据的执行值结果的步骤，包括：根据待校验源数据对应的 功能模块的序号，将待校验源数据输入对应的功能模块；将待校验源操作 数的位宽从预设平台位宽还原为初始数据位宽；将待校验源操作数的位宽 从初始数据位宽转换为预设计算位宽；使用对应的功能模块对待校验源数据进行计算，得到待校验源数据的执行值结果；执行值结果的位宽为预设 计算位宽；将执行值结果的位宽转换为预设平台位宽。

通过在计算时将待校验源操作数的位宽转换最终为预设计算位宽，能 够控制使用功能模块对待校验源数据进行计算时的计算精度，使得在实际 应用时，通过将待校验源数据的位宽转换为较大的预设计算位宽(大于初 始数据位宽和预设平台位宽)时，能够增加得到的执行值结果的精度，从 而能够提高该参考模型校验方法的精度。

结合第一方面第四实施方式或者第一方面第五实施方式，在第一方面 第六实施方式中，预设平台位宽为128-bit，根据执行值结果与理论值结果 对参考模型进行检验的步骤，包括：将执行值结果中的高64-bit与理论值结 果中的高64-bit进行比较，得到第一校验结果；将执行值结果中的低64-bit 与理论值结果中的低64-bit进行比较，得到第二校验结果；根据第一校验结 果和第二校验结果对参考模型进行检验。

根据第二方面，本发明实施例提供了一种参考模型校验装置，包括： 数据获取模块，用于获取参考模型中的至少一个功能模块的所有待校验源 数据以及各个待校验源数据对应的理论值结果；执行计算模块，用于将待 校验源数据输入对应的功能模块，得到待校验源数据的执行值结果；模型 校验模块，用于根据执行值结果与理论值结果对参考模型进行检验。

根据第三方面，本发明实施例提供了一种电子设备，包括：存储器和 处理器，所述存储器和所述处理器之间互相通信连接，所述存储器中存储 有计算机指令，所述处理器通过执行所述计算机指令，从而执行第一方面 或者第一方面的任意一种实施方式中所述的参考模型校验方法。

根据第四方面，本发明实施例提供了一种计算机可读存储介质，所述 计算机可读存储介质存储计算机指令，所述计算机指令用于使所述计算机 执行第一方面或者第一方面的任意一种实施方式中所述的参考模型校验方 法。

附图说明

为了更清楚地说明本发明具体实施方式或现有技术中的技术方案，下 面将对具体实施方式或现有技术描述中所需要使用的附图作简单地介绍， 显而易见地，下面描述中的附图是本发明的一些实施方式，对于本领域普 通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获 得其他的附图。

图1为本发明实施例提供的参考模型校验方法的一种方法流程图；

图2为本发明实施例提供的参考模型校验方法的另一种方法流程图；

图3为本发明实施例提供将32-bit浮点数转换为64-bit浮点数的方法流 程图；

图4为本发明实施例提供的参考模型校验装置的原理框图；

图5为本发明实施例提供的一种电子设备的硬件结构示意图。

具体实施方式

为使本发明实施例的目的、技术方案和优点更加清楚，下面将结合本 发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描 述，显然，所描述的实施例是本发明一部分实施例，而不是全部的实施例。 基于本发明中的实施例，本领域技术人员在没有做出创造性劳动前提下所 获得的所有其他实施例，都属于本发明保护的范围。

在本发明的描述中，需要说明的是，术语“第一”、“第二”、“第三”仅用 于描述目的，而不能理解为指示或暗示相对重要性。

需要说明的是，本发明实施例提供的参考模型验证方法用于对CPU等 电路设计中的寄存器传输级(Register Transfer Level，RTL)功能仿真验证 中使用的参考模型进行验证，该参考模型是指能够正确仿真实现RTL功能 的模型。在本发明实施例中，该参考模型验证方法通过C语言软件程序实 现，并在执行结束后输出一校验结果文件，方便使用者在参考模型被校验 出错误时对参考模型进行修正。

实施例1

图1示出了本发明实施例的视频码流的分析方法的流程图，如图1所 示，该方法可以包括如下步骤：

S101：获取参考模型中的至少一个功能模块的所有待校验源数据以及 各个待校验源数据对应的理论值结果。在这里，至少一个功能模块参考模 型中的功能模块可以包括定点数计算功能模块以及浮点数计算功能模块中 的一个或者多个，即，参考模型中的功能模块可以包括定点计算模块，浮 点计算模块，定点乘加模块，浮点乘加模块，数据置换模块，定浮点转换 模块，除法平方根模块，估值模块，十进制浮点计算模块，加密模块中的 一个或者多个。参考模型中的至少一个功能模块的所有待校验源数据是指， 参考模型中各个功能模块的所有可能输入数据的总和，例如，当参考模型 中的功能模块仅包括浮点乘加模块一个时，则所有待校验源数据是指浮点 乘加模块的所有可能输入数据；当参考模型中的功能模块包括浮点乘加模 块和定点乘加模块两个时，则所有待校验源数据是指浮点乘加模块的所有 可能输入数据以及定点乘加模块的所有可能输入数据。

在这里，每个功能模块中可以包括若干条具体指令，如浮点乘加模块 中可以包括FABS指令(浮点绝对值指令)和FMUL指令(浮点乘法指令) 等，定点乘加模块中可以包括VMULESB指令(8bit符号整型矢量乘法指 令)等，在实际应用场景中，为了区分各个功能模块以及功能模块中的各 个具体指令，可以对功能模块和以及功能模块中的各具体指令进行命名或 者编号，如，浮点乘加模块以及定点乘加模块均可以命名为maf模块，浮 点计算模块以及定点计算模块均可以命名为xs模块，数据置换模块可以命 名为pm模块，定浮点转换模块可以命名为cvt模块，除法平方根模块可以 命名为srt模块，估值模块可以命名为est模块，十进制浮点计算模块可以 命名为dfu模块，加密模块可以命名为cyu模块；而maf模块(浮点乘加模 块)中的FABS指令则可以编号为166，FMUL指令可以编号为167；maf 模块(定点乘加模块)中的VMULESB指令FCHS指令模块可以编号109 等。

表1

需要说明的是，上述功能模块以及具体指令的具体编号仅为便于本领 技术人员理解本方案所举的示例，不应当构成对本发明实施例的任何限制。

S102：将待校验源数据输入对应的功能模块，得到待校验源数据的执 行值结果。在这里，可以根据待校验原数据对应的功能模块的名称或者编 号找到具体的功能模块，并且，当功能模块中的具体指令也具有编号时， 还可以进一步地根据待校验原数据对应的具体指令的编号找到对应的功能 模块中的具体指令，从而将待校验源数据作为输入数据输入。

S103：根据执行值结果与理论值结果对参考模型进行检验。在这里， 当所有待校验源数据的执行值结果均与对应的理论值结果相等时，得到参 考模型正确的校验结果；当存在待校验源数据的执行值结果与对应的理论 值结果不相等时，则得到参考模型存在错误的校验结果，并记录出错的待 校验源数据及其对应的功能模块和/或功能模块中的具体指令，形成校验结 果文件。

在本发明实施例中，通过获取参考模型中的至少一个功能模块的所有 待校验源数据，并获取各个待校验源数据对应的理论值结果(该理论值结 果一般为人为直接将待校验源数据输入对应的计算指令，或者直接人为计 算得到)，然后将待校验源数据输入对应的功能模块，得到待校验源数据 的执行值结果，从而能够根据执行值结果与理论值结果对参考模型进行检 验，解决现有技术中没有对自动化仿真验证中的参考模型进行有效验证的 方法。

作为本实施例的一种可选实施方式，以源操作数文件中存储有所有待 校验源数据的存储路径，各个待校验源数据对应的功能模块的序号(当功 能模块中的具体指令也具有序号时，源操作数文件中存储有各个待校验源 数据对应的具体指令的序号)以及待校验源操作数的初始数据位宽；理论 值文件中存储有各个待校验源数据对应的理论值结果为例来描述本发明实 施例的参考模型校验方法。则如图2所示，该方法包括如下步骤：

S201：获取源操作数文件以及理论值文件的存储路径。在这里，待验 证源操作数对应的理论值结果在理论值文件中的行数与待验证源操作数在 源操作数文件中的行数相同，因此，只要逐行读取源操作数文件以及理论 值文件的内容，就可以获取待校验源数据以及待校验源数据对应的理论值 结果。

在这里，可以将源操作数文件中的数据定义为如表2所示的格式：

表2

数据中的每一列使用空格符间隔，例如：

166[Space]/proj/vsu/jjwang/test_model/dir1/maf_fp_fabs.txt[Space]1sn[Sp ace]none，当然，上述格式定义以及具体数据示例仅为便于本领技术人员理 解本方案所举的示例，不应当构成对本发明实施例的任何限制。

S202：读取源操作数文件以及理论值文件的内容，获取参考模型中的 至少一个功能模块的所有待校验源数据以及各个待校验源数据对应的理论 值结果。

S203：判断待校验源操作数的数据位宽是否为预设平台位宽。在这里， 当待校验源操作数的数据位宽为预设平台位宽时，则直接执行步骤S205； 当待校验源操作数的数据位宽不是预设平台位宽时，则先执行步骤S204后， 再执行步骤S205。在这里，需要说明的是，预设平台位宽是指将待验证源 操作数输入对应的功能模块时需要使用的函数接口所要求的数据位宽，同 时，也是将得到的执行结果输出对应的功能模块时需要使用的函数接口所 要求的数据位宽(同一平台的函数接口所要求的数据位宽一般相同)。

S204：将待校验源数据转换为预设位宽。在这里，以预设平台位宽为 128-bit为例，常规的待校验源数据为32-bit浮点数(即初始数据位宽为 32-bit)或者64-bit浮点数(即初始数据位宽为32-bit)，具体地，当待校 验源数据为32-bit浮点数时，则首先需要将该32-bit浮点数转换为64-bit 浮点数，如图3所示，具体的转换过程如下(图3中s是指符号位，e是指 指数域，m是指尾数域)：

步骤A：将32-bit浮点数的符号位左移32-bit。

步骤B：判断32-bit浮点数是否为0。当32-bit浮点数为0时，则直接 将该32浮点数转换为指数域和尾数域均为0的64-bit浮点数；当32-bit浮 点数是不为0时，则之执行步骤C。

步骤C：判断32-bit浮点数是否为无穷大(inf)或者无效数据(nan) 或者非常规数(denormal)。当32-bit浮点数为无穷大(inf)或者无效数据(nan)或者非常规数(denormal)时，则将当前32-bit浮点数的指数域作 为转换后的64-bit浮点数的指数域，将当前32-bit浮点数的尾数域作为转换 后的64-bit浮点数的尾数域；当32-bit浮点数既不是无穷大(inf)，也不是 无效数据(nan)，也不是非常规数(denormal)时，则32-bit浮点数为常 规数(normal)，执行步骤D。

步骤D：将当前32-bit浮点数的真实指数域加上1023作为转换后的 64-bit浮点数的尾数域，将当前32-bit浮点数的尾数域作为转换后的64-bit 浮点数的尾数域。

然后，将转换后的64-bit浮点数作为128-bit浮点数的高64-bit，并将 该128-bit浮点数的低64-bit补0，得到的128-bit浮点数即为32-bit的待校 验源数据转换为预设平台位宽(128-bit)后的数据。此外，当待校验源数据 为64-bit浮点数时，将其位宽转换为预设平台位宽(128-bit)的方式与该步 骤相同，在此不再赘述。

S205：根据待校验源数据对应的功能模块的序号，将待校验源数据输 入对应的功能模块。在这里，输入对应的功能模块中的待校验源数据的位 宽为预设平台位宽。在这里，当功能模块中的具体指令也具有序号，源操 作数文件中存储有各个待校验源数据对应的具体指令的序号时，本步骤还 可以包括根据待校验源数据对应的具体指令的序号，将待校验源数据输入 对应的具体指令的步骤。在这里，功能模块以及各功能模块中具体指令的序号的设置方式可以参照上述步骤S101的内容来理解，在此不再赘述。

S206：将待校验源操作数的位宽从预设平台位宽还原为初始数据位宽。

S207：将待校验源操作数的位宽从初始数据位宽转换为预设计算位宽。 在这里，可以将预设计算位宽设置为160-bit。

在这里，需要说明的是，还可以直接将待校验源数据从预设平台位宽 (如128-bit)转换为预设计算位宽(如160-bit)，但是，由于现有技术中 存在将128-bit浮点数转换为32-bit浮点数或者64-bit浮点数的工具(本发 明实施例中的初始数据位宽)的工具，以及将32-bit浮点数或者64-bit浮点 数直接转换为160-bit浮点数的工具，而不存在直接将128-bit浮点数转换为 160-bit浮点数的工具，因此，为了降低本发明实施例提供的方法的实施难 度，通过上述S206和S207两个步骤实现待检验源数据的位宽转换。

S208：使用对应的功能模块对待校验源数据进行计算，得到待校验源 数据的执行值结果。在这里，执行值结果的位宽为预设计算位宽。在这里， 参照步骤S205的内容可以理解，当根据具体指令的序号将待校验源数据输 入对应的具体指令时，则使用对应的具体指令对待校验源数据进行计算。

S209：将执行值结果的位宽转换为预设平台位宽。

在这里，参照上述S206和S207两个步骤的内容，将执行值结果的位 宽(从预设计算位宽，如160-bit)转换为预设平台位宽(如128-bit)，同 样可以先执行一个将执行值结果的位宽转换为初始数据位宽(32-bit或者 64-bit)的中间步骤，在此不再详述。

S210：根据执行值结果与理论值结果对参考模型进行检验。在这里， 当所有待校验源数据的执行值结果均与对应的理论值结果相等时，得到参 考模型正确的校验结果；当存在待校验源数据的执行值结果与对应的理论 值结果不相等时，则得到参考模型存在错误的校验结果，并记录出错的待 校验源数据及其对应的功能模块和/或功能模块中的具体指令，形成校验结 果文件。

作为本发明实施例的一种可选实施方式，当预设平台位宽为128-bit， 即执行值结果和理论值结果均为128-bit时，步骤S210可以包括如下步骤：

S301：将执行值结果中的高64-bit与理论值结果中的高64-bit进行比较， 得到第一校验结果。

S302：将执行值结果中的低64-bit与理论值结果中的低64-bit进行比较， 得到第二校验结果。

S303：根据第一校验结果和第二校验结果对参考模型进行检验。在这 里，当一个待校验源数据的第一校验结果为相等(即执行值结果中的高 64-bit与理论值结果中的高64-bit相等)，且第二校验结果也为相等(即执 行值结果中的低64-bit与理论值结果中的低64-bit相等)时，则该待校验源 数据的校验结果为相等，否则，该待校验源数据的校验结果为不等。

在这里，当然也可以直接将128-bit的执行值结果和128-bit的理论值结 果直接进行比较，在此不再赘述。

在本发明实施例中，通过将所有待验证源操作数的存储路径均存储于 一源操作数文件中，能够加快源操作数的获取效率，同时，通过在源操作 数文件中存储各个源操作数对应的功能模块的序号，使得根据该序号找到 需要验证该源操作数的对应的功能模块，从而能够保证该待校验源数据能 够被输入对应的功能模块中完成验证，即能够在保证该模型校验方法的有 效性的同时，提高该方法的校验效率。

此外，通过在计算时将待校验源操作数的位宽转换最终为预设计算位 宽，能够控制使用功能模块对待校验源数据进行计算时的计算精度，使得 在实际应用时，通过将待校验源数据的位宽转换为较大的预设计算位宽， 如160-bit(大于初始数据位宽，32-bit或者64bit，并大于预设平台位宽， 128-bit)时，能够增加得到的执行值结果的精度，从而能够提高该参考模型 校验方法的精度。

实施例2

图3示出了本发明实施例的一种参考模型校验装置的原理框图，该装 置可以用于实现实施例1或者其任意可选实施方式所述的保洁任务自动生 成方法。如图3所示，该装置包括：数据获取模块10，执行计算模块20和 模型校验模块30。

数据获取模10用于获取参考模型中的至少一个功能模块的所有待校验 源数据以及各个待校验源数据对应的理论值结果。

执行计算模块20用于将待校验源数据输入对应的功能模块，得到待校 验源数据的执行值结果。

模型校验模块30用于根据执行值结果与理论值结果对参考模型进行检 验。

本发明实施例还提供了一种电子设备，如图5所示，该电子设备可以 包括处理器51和存储器52，其中处理器51和存储器52可以通过总线或者 其他方式连接，图5中以通过总线连接为例。

处理器51可以为中央处理器(Central Processing Unit，CPU)。处理 器51还可以为其他通用处理器、数字信号处理器(Digital Signal Processor， DSP)、专用集成电路(Application Specific Integrated Circuit，ASIC)、现 场可编程门阵列(Field-Programmable Gate Array，FPGA)或者其他可编程 逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件等芯片，或者上述 各类芯片的组合。

存储器52作为一种非暂态计算机可读存储介质，可用于存储非暂态软 件程序、非暂态计算机可执行程序以及模块，如本发明实施例中的参考模 型校验方法对应的程序指令/模块(如图4中的数据获取模块10，执行计算 模块20和模型校验模块30)。处理器51通过运行存储在存储器52中的非 暂态软件程序、指令以及模块，从而执行处理器的各种功能应用以及数据 处理，即实现上述方法实施例中的参考模型校验方法。

存储器52可以包括存储程序区和存储数据区，其中，存储程序区可存 储操作系统、至少一个功能所需要的应用程序；存储数据区可存储处理器 51所创建的数据等。此外，存储器52可以包括高速随机存取存储器，还可 以包括非暂态存储器，例如至少一个磁盘存储器件、闪存器件、或其他非 暂态固态存储器件。在一些实施例中，存储器52可选包括相对于处理器51 远程设置的存储器，这些远程存储器可以通过网络连接至处理器51。上述 网络的实例包括但不限于互联网、企业内部网、局域网、移动通信网及其 组合。

所述一个或者多个模块存储在所述存储器52中，当被所述处理器51 执行时，执行如图1-3所示实施例中的参考模型校验方法。

上述电子设备具体细节可以对应参阅图1至图3所示的实施例中对应 的相关描述和效果进行理解，此处不再赘述。

本领域技术人员可以理解，实现上述实施例方法中的全部或部分流程， 是可以通过计算机程序来指令相关的硬件来完成，所述的程序可存储于一 计算机可读取存储介质中，该程序在执行时，可包括如上述各方法的实施 例的流程。其中，所述存储介质可为磁碟、光盘、只读存储记忆体(Read-Only Memory，ROM)、随机存储记忆体(Random AccessMemory，RAM)、 快闪存储器(Flash Memory)、硬盘(Hard Disk Drive，缩写：HDD)或固 态硬盘(Solid-State Drive，SSD)等；所述存储介质还可以包括上述种类的 存储器的组合。

显然，上述实施例仅仅是为清楚地说明所作的举例，而并非对实施方 式的限定。对于所属领域的普通技术人员来说，在上述说明的基础上还可 以做出其它不同形式的变化或变动。这里无需也无法对所有的实施方式予 以穷举。而由此所引伸出的显而易见的变化或变动仍处于本发明创造的保 护范围之中。

Claims (10)

1.一种参考模型校验方法，其特征在于，包括如下步骤：

获取所述参考模型中的至少一个功能模块的所有待校验源数据以及各个所述待校验源数据对应的理论值结果；

将所述待校验源数据输入对应的功能模块，得到所述待校验源数据的执行值结果；

根据所述执行值结果与所述理论值结果对所述参考模型进行检验。

2.根据权利要求1所述的参考模型校验方法，其特征在于，所述获取所述参考模型中的至少一个功能模块的所有待校验源数据以及各个所述待校验源数据对应的理论值结果的步骤，包括：

获取源操作数文件以及理论值文件的存储路径；所述源操作数文件中存储有所述待校验源数据的存储路径以及各个所述待校验源数据对应的所述功能模块的序号，所述理论值文件中存储有各个所述待校验源数据对应的理论值结果；

读取所述源操作数文件以及理论值文件的内容，获取所述参考模型中的至少一个功能模块的所有待校验源数据以及各个所述待校验源数据对应的理论值结果。

3.根据权利要求2所述的参考模型校验方法，其特征在于，所述将所述待校验源数据输入对应的功能模块，得到所述待校验源数据的执行值结果的步骤，包括：

根据所述待校验源数据对应的功能模块的序号，将所述待校验源数据输入对应的功能模块，得到所述待校验源数据的执行值结果。

4.根据权利要求2所述的参考模型校验方法，其特征在于，所述源操作数文件中还存储有所述待校验源操作数的初始数据位宽，所述将所述待校验源数据输入对应的功能模块，得到所述待校验源数据的执行值结果的步骤之前，还包括：

判断所述待校验源操作数的初始数据位宽是否为预设平台位宽；

当所述待校验源操作数的初始数据位宽为所述预设平台位宽时，则将所述待校验源数据输入对应的功能模块，得到所述待校验源数据的执行值结果；

当所述待校验源操作数的初始数据位宽不是所述预设平台位宽时，则将所述待校验源数据的位宽转换为所述预设平台位宽后，将所述待校验源数据输入对应的功能模块，得到所述待校验源数据的执行值结果。

5.根据权利要求4所述的参考模型校验方法，其特征在于，所述理论值结果的位宽为所述预设平台位宽。

6.根据权利要求4所述的参考模型校验方法，其特征在于，所述根据所述待校验源数据对应的功能模块的序号，将所述待校验源数据输入对应的功能模块，得到所述待校验源数据的执行值结果的步骤，包括：

根据所述待校验源数据对应的功能模块的序号，将所述待校验源数据输入对应的功能模块；

将所述待校验源操作数的位宽从所述预设平台位宽还原为所述初始数据位宽；

将所述待校验源操作数的位宽从所述初始数据位宽转换为预设计算位宽；

使用所述对应的功能模块对所述待校验源数据进行计算，得到所述待校验源数据的执行值结果；所述执行值结果的位宽为所述预设计算位宽；

将所述执行值结果的位宽转换为所述预设平台位宽。

7.根据权利要求5或6所述的参考模型校验方法，其特征在于，所述预设平台位宽为128-bit，所述根据所述执行值结果与所述理论值结果对所述参考模型进行检验的步骤，包括：

将所述执行值结果中的高64-bit与所述理论值结果中的高64-bit进行比较，得到第一校验结果；

将所述执行值结果中的低64-bit与所述理论值结果中的低64-bit进行比较，得到第二校验结果；

根据所述第一校验结果和所述第二校验结果对所述参考模型进行检验。

8.一种参考模型校验装置，其特征在于，包括：

数据获取模块，用于获取所述参考模型中的至少一个功能模块的所有待校验源数据以及各个所述待校验源数据对应的理论值结果；

执行计算模块，用于将所述待校验源数据输入对应的功能模块，得到所述待校验源数据的执行值结果；

模型校验模块，用于根据所述执行值结果与所述理论值结果对所述参考模型进行检验。

9.一种电子设备，其特征在于，包括：

存储器和处理器，所述存储器和所述处理器之间互相通信连接，所述存储器中存储有计算机指令，所述处理器通过执行所述计算机指令，从而执行权利要求1-7任一项所述的参考模型校验方法。

10.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质存储有计算机指令，所述计算机指令用于使所述计算机执行权利要求1-7任一项所述的参考模型校验方法。