深圳国微芯科技有限公司梁豪杰获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉深圳国微芯科技有限公司申请的专利电路的划分方法、等价性验证方法、存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115906731B 。
龙图腾网通过国家知识产权局官网在2026-02-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211537212.4，技术领域涉及：G06F30/3323；该发明授权电路的划分方法、等价性验证方法、存储介质是由梁豪杰;苏宇;白耿设计研发完成，并于2022-12-01向国家知识产权局提交的专利申请。
本电路的划分方法、等价性验证方法、存储介质在说明书摘要公布了：本发明公开了一种电路的划分方法、等价性验证方法、存储介质。其中电路的划分方法，包括：先对参考电路与实现电路的组合逻辑进行等价性验证，得到匹配失败的寄存器和或组合逻辑等价性验证不通过的寄存器；将得到的匹配失败的寄存器和或组合逻辑等价性验证不通过的寄存器作为分割可能节点，查找各分割可能节点的所有锥顶；当任意两个分割可能节点具有相同的锥顶，则划分为一组；以组为单位对所述参考电路及其对应的实现电路进行划分，将一组内的寄存器以及对应的组合电路划分为局部电路。本发明可以简化大规模网表电路等价性验证的复杂度，使得大规模网表电路等价性验证的效率提升。
本发明授权电路的划分方法、等价性验证方法、存储介质在权利要求书中公布了：1.一种电路的划分方法，其特征在于，包括： 先对参考电路与实现电路的组合逻辑进行等价性验证，得到匹配失败的寄存器和或组合逻辑等价性验证不通过的寄存器； 将得到的匹配失败的寄存器和或组合逻辑等价性验证不通过的寄存器作为分割可能节点，查找各分割可能节点的所有锥顶； 当任意两个分割可能节点具有相同的锥顶，则划分为一组； 以组为单位对所述参考电路及其对应的实现电路进行划分，将一组内的寄存器以及对应的组合电路划分为局部电路。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人深圳国微芯科技有限公司，其通讯地址为：518000 广东省深圳市前海深港合作区前湾一路1号A栋201室(入住深圳市前海商务秘书有限公司)；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励