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

龙图腾网获悉宁波大学申请的专利一种基于智能引擎选择的组合等价性验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120196533B 。

龙图腾网通过国家知识产权局官网在2025-07-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510669160.3，技术领域涉及：G06F11/3604；该发明授权一种基于智能引擎选择的组合等价性验证方法是由储著飞;魏浩楠;蒋文涛;夏银水;王伦耀设计研发完成，并于2025-05-23向国家知识产权局提交的专利申请。

本一种基于智能引擎选择的组合等价性验证方法在说明书摘要公布了：本发明公开了一种基于智能引擎选择的组合等价性验证方法，该方法构建Miter电路随机仿真，提取嵌入向量并拼接为图像输入到训练后的AlexNet网络中，预测得到最优扫描引擎对候选等价节点对进行等价性验证，在所有候选等价节点对被验证并合并完成后，使用SAT求解器进行最终的等价性验证。该方法能够实现高效、自适应的最优扫描引擎选择，在处理高XOR密度电路时，表现出显著优势，处理速度大幅提高，并能够显著提高两个电路等价性验证的验证效率和准确性。本发明为组合等价性验证工具的设计提供了新的研究思路，能够显著降低求解时间、提高求解的稳定性和适应性，对逻辑综合领域的应用和等价性验证工具的发展具有重要的实践意义。

本发明授权一种基于智能引擎选择的组合等价性验证方法在权利要求书中公布了：1.一种基于智能引擎选择的组合等价性验证方法，其特征在于，先将待验证等价性的两个电路构建为Miter电路并将其表示为AIG格式，再对Miter电路进行随机仿真，识别出潜在等价节点对，然后提取每对候选等价节点对的功能和结构的嵌入向量，将提取的嵌入向量拼接为图像后输入到训练后的AlexNet网络中，由训练后的AlexNet网络预测得到最优扫描引擎，通过最优扫描引擎对候选等价节点对进行等价性验证，合并被验证为等价的候选等价节点对，在所有候选等价节点对被验证并合并完成后，使用SAT求解器对Miter电路进行最终的等价性验证；该方法具体包括以下步骤： 步骤1、将待验证等价性的两个电路构建为Miter电路并将其表示为AIG格式； 步骤2、对Miter电路进行随机仿真，识别出潜在等价节点对并将其归类为候选等价节点对，得到候选等价集，进入步骤3；如果在随机仿真中发现反例，则判定两个电路不等价，终止验证流程； 步骤3、将候选等价集中的候选等价节点对输入到电路表征学习工具中，提取每对候选等价节点对的功能和结构的嵌入向量； 步骤4、将现有AlexNet网络的第一层由三通道卷积层调整为单通道卷积层，对调整后的AlexNet网络进行训练，得到训练后的AlexNet网络；将提取的嵌入向量拼接为图像后输入到训练后的AlexNet网络中，由训练后的AlexNet网络基于拼接后的嵌入向量预测得到最优扫描引擎，通过最优扫描引擎对候选等价节点对进行等价性验证，如果候选等价节点对被验证为等价，则将其合并； 步骤5、在所有候选等价节点对被验证并合并完成后，使用SAT求解器对Miter电路进行最终的等价性验证，如果验证结果为SAT，则说明两个电路不等价；如果验证结果为UNSAT，则说明两个电路等价。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人宁波大学，其通讯地址为：315211 浙江省宁波市江北区风华路818号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。