处理器的浮点计算验证方法、装置、电子设备、计算机可读存储介质及计算机程序产品

本申请提供了一种处理器的浮点计算验证方法、装置、电子设备、计算机可读存储介质及计算机程序产品；方法包括：响应于接收到针对所述处理器的浮点计算单元的验证指令，确定验证模型；通过浮点计算单元对输入数据进行运算，得到第一运算结果；通过各个验证模型对输入数据进行运算，得到各个第二运算结果；针对每一验证模型，基于验证模型对应的误差比对机制和第二运算结果，以及第一运算结果，确定验证模型对应的第一比对结果；基于每一验证模型对应的第一比对结果和第二运算结果，以及第一运算结果，生成浮点计算单元的验证日志。通过本申请，能够提高对浮点计算单元进行验证的全面性和准确性，并通过生成验证日志提升验证可靠性与可追溯性。