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

龙图腾网恭喜宁波大学申请的专利一种基于XMG组合电路的等价性验证装置及方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115544926B 。

龙图腾网通过国家知识产权局官网在2025-06-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210967760.4，技术领域涉及：G06F30/3323；该发明授权一种基于XMG组合电路的等价性验证装置及方法是由储著飞;朱柏成;夏银水;王伦耀设计研发完成，并于2022-08-12向国家知识产权局提交的专利申请。

本一种基于XMG组合电路的等价性验证装置及方法在说明书摘要公布了：本发明公开的基于XMG组合电路的等价性验证装置包括依次连接的输入读取模块、构建Miter电路模块、电路结构转换模块、常量替换算法模块和等价性判断模块，本发明通过结合更加适用于XMG网络的XMG内部XOR节点的常量替换算法，将XMG内部的XOR节点及其子电路看作为Miter电路，进行等价性验证，将大电路分割成小电路，它保留了电路之间的拓扑信息，并大幅加快了计算时间。相比于传统的等价性验证工具，本发明在CPU计算时间和内存占用方面分别减少了3097.03倍和40.7%，既能降低等价性验证时间，又可以减少内存消耗，同时降低了对大bit算术电路计算的难度，对组合电路的等价性验证发展有较强的实践意义。

本发明授权一种基于XMG组合电路的等价性验证装置及方法在权利要求书中公布了：1.一种基于XMG组合电路的等价性验证装置，其特征在于，包括依次连接的输入读取模块、构建Miter电路模块、电路结构转换模块、常量替换算法模块和等价性判断模块， 所述的输入读取模块，用于将输入的待验证等价性的两个电路的信息文件解析数据分别传输到开源工具ALSO中，得到两个电路的解析的数据，其中，所述的两个电路分别以存储有电路信息的aig文件表示； 所述的构建Miter电路模块，用于根据所述的输入读取模块得到的两个电路的解析的数据分别构建电路网络，并将两个电路对应的电路网络的输出端分别用XOR门连接，再将所有的XOR门用OR门连接，构建得到Miter电路，以OR门的输出端作为Miter电路的总输出端； 所述的电路结构转换模块，用于将构建的Miter电路转换成XMG网络结构； 所述的常量替换算法模块，用于对XMG网络结构的Miter电路中内部XOR节点进行常数替换，输出替换后的XMG网络； 所述的等价性判断模块，用于根据最后输出XMG网络的XOR节点数，判断两个电路的等价性。

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