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

申请/专利权人：中国人民解放军国防科技大学

摘要：本发明公开了一种基于重综合的时序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′输出。

全文数据：

权利要求：

百度查询： 中国人民解放军国防科技大学 一种基于重综合的时序ECO方法、系统及介质