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

龙图腾网获悉宁波大学申请的专利一种基于异或多数逻辑的等价性验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120197568B 。

龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510677389.1，技术领域涉及：G06F30/33；该发明授权一种基于异或多数逻辑的等价性验证方法是由储著飞;彭佳欣;胡张;夏银水;王伦耀设计研发完成，并于2025-05-26向国家知识产权局提交的专利申请。

本一种基于异或多数逻辑的等价性验证方法在说明书摘要公布了：本发明公开了一种基于异或多数逻辑的等价性验证方法，将待验证等价性的两个电路构建为Miter电路，若结构重写后的Miter电路的主输出值不全为零，则本方法结束，否则使用SAT求解器对Miter电路进行等价性验证；若SAT求解器得出求解结果，则本方法结束，否则通过随机仿真获取Miter电路中所有节点的仿真信号，将潜在等价节点划入等价类并优化，从优化后的等价类中随机获取具有潜在等价关系的节点，迭代合并等价节点，得到优化后的Miter电路，再使用SAT求解器对优化后的Miter电路进行最终的等价性验证。该方法可提高等价性验证的效率和准确性，特别适用于验证复杂的乘加混合算术电路及XOR密集型电路。

本发明授权一种基于异或多数逻辑的等价性验证方法在权利要求书中公布了：1.一种基于异或多数逻辑的等价性验证方法，其特征在于，该方法具体包括以下步骤： 步骤1、将待验证等价性的两个电路构建为Miter电路，读取包含Miter电路信息的与非图AIG，利用LUT映射和精确综合方法，将AIG转换为异或多数逻辑图XMG，利用XOR门和MAJ门的代数特性对XMG进行结构重写； 步骤2、计算结构重写后的Miter电路的主输出值，若主输出值不全为零，则判定两个电路不等价，本方法结束，否则，进入步骤3； 步骤3、预设SAT求解器的冲突次数限制为M次，使用SAT求解器对结构重写后的Miter电路进行等价性验证，若SAT求解器在M次冲突次数限制内得出求解结果，则本方法结束，否则，通过随机仿真获取结构重写后的Miter电路中所有节点的仿真信号，设定其中仿真信号相等的节点为潜在等价节点，将潜在等价节点划入等价类； 步骤4、对等价类进行优化，以减少等价类中的低质量节点；从优化后的等价类中随机获取具有潜在等价关系的两个节点，进行等价节点合并，如此迭代合并等价节点，直至等价类为空或达到预设的N次迭代执行次数，得到优化后的Miter电路； 步骤5、使用SAT求解器对优化后的Miter电路进行最终的等价性验证，SAT求解器输出的最终求解结果即为两个电路的等价性验证结果。

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