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

龙图腾网恭喜中国科学院软件研究所申请的专利分布式数据通路组合等价性验证方法及分布式服务器获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119494301B 。

龙图腾网通过国家知识产权局官网在2025-05-16发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411510697.7，技术领域涉及：G06F30/3323；该发明授权分布式数据通路组合等价性验证方法及分布式服务器是由张昕荻;蔡少伟设计研发完成，并于2024-10-28向国家知识产权局提交的专利申请。

本分布式数据通路组合等价性验证方法及分布式服务器在说明书摘要公布了：本发明提供了一种分布式数据通路组合等价性验证方法及分布式服务器，该方法包括：将待验证的两个数据通路电路进行重写，得到电路结构相似的两个电路描述文件；根据电路描述文件构造Miter电路；对Miter电路进行随机逻辑仿真获取内部的潜在等价节点并存放于等价节点队列；从等价节点队列中选择潜在等价节点对并提取其扇入锥，根据两组扇入锥构造子miter电路；根据子miter电路中异或块的稠密程度选取验证模式并对子miter电路进行验证；若验证成功则合并对应的潜在等价节点和对应的扇入锥，否则继续验证其他潜在等价节点对，直到所有潜在等价节点验证完成；使用SAT求解器执行最终的等价验证并返回验证结果，高效地实现数据通路组合等价性验证。

本发明授权分布式数据通路组合等价性验证方法及分布式服务器在权利要求书中公布了：1.一种分布式数据通路组合等价性验证方法，其特征在于，所述方法包括：S11、将待验证的两个数据通路电路描述文件进行重写，得到电路结构相似的两个电路描述文件；S12、根据电路结构相似的两个电路描述文件构造一个Miter电路文件；S13、对所述Miter电路文件进行随机逻辑仿真，获取Miter电路文件内部的潜在等价节点，将归属于同一等价类的潜在等价节点存放于同一等价节点队列；S14、对于每一等价节点队列，从中选择潜在等价节点对，并提取当前潜在等价节点对的扇入锥，根据当前潜在等价节点对的扇入锥构造子miter电路文件；S15、根据子miter电路文件中异或块的稠密程度选取用于验证所述子miter电路文件的验证模式并对所述子miter电路文件进行验证，所述验证模式包括格雷排布完备仿真模式和分布式电路可满足性求解模式；所述根据子miter电路文件中异或块的稠密程度选取用于验证所述子miter电路文件的验证模式，包括：根据当前分布式求解系统中的总CPU核心数量、子miter电路文件中异或联通块的数量k以及每一异或联通块大小计算第一预计验证运行时间： ，其中为预设参数；根据当前分布式求解系统中的总CPU核心数量和影响锥的输入引线数量计算第二预计验证运行时间： ；如果，其中为预设参数，则选取格雷排布完备仿真模式，否则选取分布式电路可满足性求解模式；S16、如果验证成功，则合并对应的潜在等价节点和对应的扇入锥以实现Miter电路文件的电路化简，否则返回步骤S14继续验证当前等价节点队列中的其他潜在等价节点对，直到所有潜在等价节点验证完成；S17、使用SAT求解器对步骤S16最终更新后的等价简化电路进行求解，根据求解结果确定待验证的两个数据通路电路是否等价。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国科学院软件研究所，其通讯地址为：100086 北京市海淀区中关村南四街4号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。