买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉上海东方算芯科技有限公司申请的专利处理器的浮点计算验证方法、装置、电子设备、计算机可读存储介质及计算机程序产品获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120892281B 。

龙图腾网通过国家知识产权局官网在2026-02-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511407997.7，技术领域涉及：G06F11/263；该发明授权处理器的浮点计算验证方法、装置、电子设备、计算机可读存储介质及计算机程序产品是由白书霞设计研发完成，并于2025-09-28向国家知识产权局提交的专利申请。

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

本发明授权处理器的浮点计算验证方法、装置、电子设备、计算机可读存储介质及计算机程序产品在权利要求书中公布了：1.一种处理器的浮点计算验证方法，其特征在于，所述方法包括： 响应于接收到针对所述处理器的浮点计算单元的验证指令，基于所述验证指令的配置信息确定验证模型，所述验证模型包括算法参考模型、行为等效参考模型和算法原型基准参考模型中的至少两个； 其中，所述算法参考模型具备自动误差阈值检查机制，根据输入数据类型的精度和数值范围自动调整误差阈值；所述行为等效参考模型用于对所述浮点计算单元的第一运算结果进行逐位比对，使所述浮点计算单元行为符合架构要求；所述算法原型基准参考模型用于通过生成运算基准结果来验证所述浮点计算单元的算法准确性； 通过所述浮点计算单元对所述输入数据进行运算，得到所述第一运算结果； 通过各个所述验证模型对所述输入数据进行运算，得到各个第二运算结果； 针对每一所述验证模型，基于所述验证模型对应的误差比对机制和所述第二运算结果，以及所述第一运算结果，确定所述验证模型对应的第一比对结果； 其中，所述算法参考模型对应的误差比对机制用于基于自定义误差容忍度或自动误差阈值进行比对，且误差阈值可以根据所述输入数据的精度自动调整；所述行为等效参考模型对应的误差比对机制采用逐位无误差比对，要求所述第一运算结果与所述行为等效参考模型输出的第二运算结果一致；所述算法原型基准参考模型对应的误差比对机制要求所述第一运算结果与所述算法原型基准参考模型输出的第二运算结果之间零误差或极小误差； 基于每一所述验证模型对应的第一比对结果和所述第二运算结果，以及所述第一运算结果，生成所述浮点计算单元的验证日志。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海东方算芯科技有限公司，其通讯地址为：200000 上海市浦东新区集创路52号、集电路245号3幢801室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。