[发明专利]对运算模块进行验证的方法、装置、电子设备和介质

说明书

一种对运算模块进行验证的方法、装置、电子设备和计算机可读存储介质。该验证方法包括：获取初始数据；对初始数据进行预运算操作，以获得预运算结果数据；以及响应于预运算结果数据满足结果约束条件，将初始数据作为测试数据，以利用测试数据对运算模块进行验证。该验证方法通过对初始数据进行预运算操作来判断初始数据是否可以作为测试数据，以便利用测试数据对运算模块进行验证，从而实现了更精准地获取用于对运算模块进行验证的测试数据，提高验证效率和可靠性的技术效果。

技术领域

本公开的实施例涉及一种对运算模块进行验证的方法、装置、电子设备和介质。

背景技术

高性能处理器在国民生产各领域显示出越来越重要的作用。在高性能处理器中，运算单元直接关系到整个处理器的性能。因此，需要对运算单元的运算准确性以及可靠性进行验证，以保证处理器的性能。

发明内容

本公开至少一个实施例提供一种对运算模块进行验证的方法，包括：获取初始数据；对初始数据进行预运算操作，以获得预运算结果数据；以及响应于预运算结果数据满足结果约束条件，将初始数据作为测试数据，以利用测试数据对运算模块进行验证。

例如，在本公开一实施例提供的验证方法中，还包括：将测试数据输入到运算模块，使得运算模块对测试数据执行测试运算操作以获得测试结果；以及将测试结果与测试运算操作的理想输出结果进行比较以获得对运算模块进行验证的验证结果。

例如，在本公开一实施例提供的验证方法中，预运算结果数据包括最终结果数据或中间结果数据，中间结果数据为在对初始数据进行预运算操作的过程中所产生的运算结果，最终结果数据为对初始数据进行预运算操作所产生的最终的运算结果。

例如，在本公开一实施例提供的验证方法中，获取初始数据，包括：根据测试数据的数据约束条件，生成初始数据，数据约束条件用于对初始数据进行约束。

例如，在本公开一实施例提供的验证方法中，经由预运算执行单元对初始数据进行预运算操作，方法还包括：记录预运算执行单元对初始数据进行预运算操作之前，预运算执行单元的初始状态信息；以及响应于预运算结果数据不满足结果约束条件，将预运算执行单元的状态信息恢复为初始状态信息，并丢弃初始数据。

例如，在本公开一实施例提供的验证方法中，还包括：判断当前对运算模块进行验证的验证状态是否满足结束条件；以及响应于验证状态不满足结束条件，再次执行获取初始数据，对初始数据进行预运算操作以获得预运算结果数据，以及响应于预运算结果数据满足结果约束条件，将初始数据作为测试数据。

例如，在本公开一实施例提供的验证方法中，还包括：记录预运算结果数据不满足结果约束条件的次数；以及响应于次数达到阈值，输出异常信号。

例如，在本公开一实施例提供的验证方法中，还包括：响应于预运算结果数据不满足结果约束条件，获取产生预运算结果数据的运算信息；以及根据运算信息，重新生成初始数据。

例如，在本公开一实施例提供的验证方法中，对初始数据进行预运算操作以获得预运算结果数据，包括：确定预运算操作的操作类型；以及对初始数据进行操作类型的预运算操作以获得预运算结果数据。

例如，在本公开一实施例提供的验证方法中，初始数据为浮点数据，运算模块配置为对初始数据进行浮点运算。

本公开至少一个实施例提供一种对运算模块进行验证的装置，包括：数据获取单元，配置为获取初始数据；预运算执行单元，配置为对初始数据进行预运算操作，以获得预运算结果数据；以及处理单元，配置为响应于预运算结果数据满足结果约束条件，将初始数据作为测试数据，以利用测试数据对运算模块进行验证。

例如，在本公开一实施例提供的验证装置中，还包括：输入单元，配置为将测试数据输入到运算模块，使得运算模块对测试数据执行测试运算操作以获得测试结果；以及比较单元，配置为将测试结果与测试运算操作的理想输出结果进行比较以获得对运算模块进行验证的验证结果。