国微集团(深圳)有限公司熊繁华获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉国微集团(深圳)有限公司申请的专利多输出实例的CNF生成方法、等价性验证方法、存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114398847B 。
龙图腾网通过国家知识产权局官网在2025-07-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111517843.5，技术领域涉及：G06F30/33；该发明授权多输出实例的CNF生成方法、等价性验证方法、存储介质是由熊繁华;刘美华;张岩;黄国勇;金玉丰;白耿设计研发完成，并于2021-12-13向国家知识产权局提交的专利申请。
本多输出实例的CNF生成方法、等价性验证方法、存储介质在说明书摘要公布了：本发明公开了一种多输出实例的CNF生成方法、等价性验证方法、存储介质。其中多输出实例的CNF生成方法，包括：遍历时，在存储结构中查找当前的端口net的输入端口net对应的CNF；如果没找到，则计算当前的端口net的引用次数，遍历当前的端口net连接的电路生成对应的CNF，将该CNF以及引用次数绑定后存入所述存储结构；如果找到，则直接从所述存储结构中调用所述CNF，并将引用次数减1，并在引用次数为0时，从所述存储结构中删除对应的CNF及其关联数据。本发明可以减少CNF的存储内存，并且缩短CNF的计算时间。
本发明授权多输出实例的CNF生成方法、等价性验证方法、存储介质在权利要求书中公布了：1.一种多输出实例的CNF生成方法，其特征在于，包括： 遍历时，在存储结构中查找当前的端口net的输入端口net对应的CNF； 如果没找到，则计算当前的端口net的引用次数，遍历当前的端口net连接的电路生成对应的CNF，若引用次数大于1，将该CNF以及引用次数绑定后存入所述存储结构；否则将该CNF与其他端口的CNF组合； 如果找到，则直接从所述存储结构中调用所述CNF与其他端口的CNF组合，并将引用次数减1，并在引用次数为0时，从所述存储结构中删除对应的CNF及其关联数据； 所述当前的端口net的引用次数为该端口net连接的实例的输出端口数量的总和。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人国微集团(深圳)有限公司，其通讯地址为：518000 广东省深圳市南山区粤海街道高新区社区沙河西路1801号国实大厦22A；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号