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

龙图腾网获悉中国人民解放军国防科技大学申请的专利一种基于重综合的时序ECO方法、系统及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118780222B 。

龙图腾网通过国家知识产权局官网在2026-04-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410861069.7，技术领域涉及：G06F30/337；该发明授权一种基于重综合的时序ECO方法、系统及介质是由刘畅;赵晖;郭阳;刘胜;陈小文;李晨;张洋;袁珩洲;王慧丽;朱德正;龚彬设计研发完成，并于2024-06-28向国家知识产权局提交的专利申请。

本一种基于重综合的时序ECO方法、系统及介质在说明书摘要公布了：本发明公开了一种基于重综合的时序ECO方法、系统及介质，本发明方法借助于综合工具的强大时序优化能力，使用收紧的时序约束产生的新网表会具有更短的关键路径，在此基础上，通过算法使用新网表中优化的逻辑结构对旧网表中的关键路径进行局部替换，同时尽可能保留旧网表中的原有逻辑，可以在尽可能少修改旧网表的基础上达到时序修复。本发明旨在使用新网表中优化的逻辑结构对旧网表中的关键路径进行局部替换，同时尽可能保留旧网表中的原有逻辑，可以在尽可能少修改旧网表的基础上达到时序修复的目的，实现低成本，高效率，短时间地解决芯片设计后期出现的严重时序违例问题，节省大量人力和时间的投入，缩短芯片设计周期。

本发明授权一种基于重综合的时序ECO方法、系统及介质在权利要求书中公布了：1.一种基于重综合的时序ECO方法，其特征在于，包括下述步骤： S101，读取电路信息，包括需要做时序ECO的旧网表G1，基于旧网表G1的RTL代码用收紧的时序约束重新综合产生的新网表G2，在设置脚本中设置等价性信息文件、标准单元库、时序约束文件以及时序违例路径信息；将读取的电路信息转化为程序中的数据结构； S102，将旧网表G1和新网表G2进行匹配； S103，在旧网表G1中定位时序违例路径所在的组合逻辑块C1，根据匹配关系在新网表G2中提取出与组合逻辑块C1匹配的组合逻辑块C2； S104，使用模拟仿真与SAT求解器结合的方法定位等价点，并存储等价点之间的映射关系，存在映射关系的两点称其互为等价点，所述等价点是指组合逻辑块C1的线网net与组合逻辑块C2中的一个或多个线网net布尔等价； S105，为组合逻辑块C1建立网络流模型M1，为组合逻辑块C2建立网络流模型M2； S106，分别计算组合逻辑块C1、组合逻辑块C2的时序信息，根据计算得到的时序信息为网络流模型M1和M2中的各边赋予权重； S107，使用最大流算法分别为网络流模型M1和M2计算最大流，生成对应残量网络，利用残量网络计算割集，并进行割集匹配，通过匹配关系将组合逻辑块C1的右边部分、组合逻辑块C2的左边部分沿切线合并产生新的组合逻辑块C1′，其中合并前属于组合逻辑块C2的部分为电路的修改部分； S108，将新的组合逻辑块C1′应用到旧网表G1作为时序ECO后的网表G1′输出。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区砚瓦池正街47号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。