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

龙图腾网获悉暨南大学申请的专利一种面向超前后仿真的电路时序修复方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121303020B 。

龙图腾网通过国家知识产权局官网在2026-02-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511853211.4，技术领域涉及：G06F30/3315；该发明授权一种面向超前后仿真的电路时序修复方法及系统是由马逸涵;李俊杰;李智设计研发完成，并于2025-12-10向国家知识产权局提交的专利申请。

本一种面向超前后仿真的电路时序修复方法及系统在说明书摘要公布了：本发明公开了一种面向超前后仿真的电路时序修复方法及系统，本发明方法包括通过时序分析软件得到电路中违反时序约束的路径，判断是否通过修改组合逻辑延时及修改终点寄存器的建立时间参数和保持时间参数可以满足时序要求，如不能就还需修改起点或终点寄存器的时钟树延时并分析时序信息后重新获得违反的时序路径再进行判断，如可以就修改组合逻辑延时与终点寄存器的建立时间参数和保持时间参数来满足建立时间约束和保持时间约束，最后提取修复后的满足时序要求的网表和延时反标文件并提供给超前后仿真使用。本发明旨在对完成初步物理设计后的芯片设计进行超前后仿真以加快芯片的时序和功能验证进度。

本发明授权一种面向超前后仿真的电路时序修复方法及系统在权利要求书中公布了：1.一种面向超前后仿真的电路时序修复方法，其特征在于，包括下述步骤： S101，获取完成初步物理设计芯片电路的网表和延时反标文件； S102，通过时序分析软件对电路时序进行分析，并获取一条违反时序约束的当前路径； S103，判断当前路径通过修改组合逻辑延时能否满足建立时间约束，如果不能满足建立时间约束，则跳转步骤S104；否则，跳转步骤S105； S104，判断当前路径通过修改终点寄存器的建立时间参数能否满足建立时间约束，如果不能满足建立时间约束，则修改起点或终点寄存器的时钟树延时时间，跳转步骤S102；否则，修改终点寄存器的建立时间参数； S105，判断当前路径通过修改组合逻辑延时能否满足保持时间约束，如果不能满足保持时间约束，则跳转步骤S106；否则，跳转步骤S107； S106，判断当前路径通过修改终点寄存器的保持时间参数能否满足保持时间约束，如果不能满足保持时间约束，则修改起点或终点寄存器的时钟树延时时间，跳转步骤S102；否则，修改终点寄存器的保持时间参数； S107，修改当前路径的组合逻辑延时来满足建立时间约束； S108，修改当前路径的组合逻辑延时来满足保持时间约束； S109，判断所有违反时序约束的路径是否全部修复完毕，如果尚未全部修复完毕则跳转步骤S102；否则，将修复后的满足时序要求的网表和延时文件输出以用于超前后仿真； 所述满足建立时间约束的判断条件的函数表达式为： ； 其中，为时钟周期，为时钟信号从生成点传播到当前路径上的终点寄存器的延时，为时钟信号从生成点传播到当前路径上的起点寄存器的延时，为当前路径上计算建立时间约束时使用的组合逻辑延时，为终点寄存器的建立时间参数；如果上述判断条件不成立则说明不能满足建立时间约束，否则说明能满足建立时间约束； 所述满足保持时间约束的判断条件的函数表达式为： ； 其中，为当前路径上计算保持时间约束时使用的组合逻辑延时，为终点寄存器的保持时间参数；如果上述判断条件不成立则说明不能满足保持时间约束，否则说明能满足保持时间约束； 步骤S104中修改起点或终点寄存器的时钟树延时时间时，包括将终点寄存器的建立时间参数设置为0，通过调高时钟信号从生成点传播到当前路径上的终点寄存器的延时来满足约束；步骤S106中修改起点或终点寄存器的时钟树延时时间时，包括将终点寄存器的保持时间参数设置为0，通过调高时钟信号从生成点传播到当前路径上的起点寄存器的延时来满足约束。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人暨南大学，其通讯地址为：511443 广东省广州市番禺区兴业大道东855号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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