金融界2025年1月22日消息，国家知识产权局信息显示，阿里巴巴达摩院（杭州）科技有限公司申请一项名为“验证方法、计算设备及验证系统”的专利，公开号CN119272666A，申请日期为2024年8月。
专利摘要显示，本说明书实施例提供验证方法、计算设备及验证系统，其中所述验证方法包括：获取待验证处理单元的运算信息；对运算信息进行收敛异常分析，确定待验证处理单元中收敛异常算子；基于收敛异常算子的算子类型，调用算子类型对应的目标验证工具对收敛异常算子进行验证，获得验证结果，其中，目标验证工具基于算子类型对应的收敛约束构建，收敛约束用于约束对收敛异常算子进行验证的复杂度有效提升了验证的质量，还能通过优化收敛异常算子的验证复杂度，加快验证过程的收敛速度，从而缩短验证周期，提升了验证效率。另外，本说明书实施例提出的创新方案可用于RISC‑V处理器。
天眼查资料显示，阿里巴巴达摩院（杭州）科技有限公司，成立于2017年，位于杭州市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本30007.409195万人民币，实缴资本1000万人民币。通过天眼查大数据分析，阿里巴巴达摩院（杭州）科技有限公司共对外投资了1家企业，参与招投标项目2次，知识产权方面有商标信息60条，专利信息700条，此外企业还拥有行政许可3个。
本文源自：金融界
