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

龙图腾网恭喜浙江雷娜科技有限公司申请的专利一种时序驱动的分割代价计算方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119538812B 。

龙图腾网通过国家知识产权局官网在2025-04-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510096193.3，技术领域涉及：G06F30/3312；该发明授权一种时序驱动的分割代价计算方法是由邵中尉;刘洋设计研发完成，并于2025-01-22向国家知识产权局提交的专利申请。

本一种时序驱动的分割代价计算方法在说明书摘要公布了：本发明涉及一种时序驱动的分割代价计算方法，属于电子设计自动化领域，其包括以下步骤：建立图结构；分别计算相邻触发器之间的最大时间延时和最小时间延时；在相邻触发器之间构建时序分析模型，基于线性规划约束条件对时序分析模型求解，得到每个节点的时钟信号期望到达时间；按照时钟信号期望到达时间从小到大的顺序逐步合并节点；时钟信号从时钟源出发，按照节点合并顺序的逆序进行时钟信号的路由，得到时钟路由路线经过的所有边的权重及每个节点时钟的实际到达时间，计算切割代价，用于判断时序分割的好坏。该方法能得到更加准确的时序分析，更准确的分割代价评价。

本发明授权一种时序驱动的分割代价计算方法在权利要求书中公布了：1.一种时序驱动的分割代价计算方法，其特征在于：其包括以下步骤：S1.输入时序分割后的网表，将top层中的子设计抽象为节点，子设计之间的信号传递关系抽象为边，建立图结构，每个所述的子设计中均包含至少一个触发器，相邻触发器之间由组合逻辑和路由路线连接；S2.基于组合逻辑和路由路线上的延时大小，分别计算相邻触发器之间的最大时间延时和最小时间延时；S3.在相邻触发器之间构建时序分析模型，基于最大时间延时和最小时间延时建立时序分析模型的线性规划约束条件，基于线性规划约束条件对时序分析模型求解，得到每个节点的时钟信号期望到达时间；S4.从节点中提取两个时钟信号期望到达时间最小的两个节点，并基于两个节点的时钟信号期望到达时间及信号传递的最短路径的路径延迟计算以两个节点为圆心的虚拟圆，合并两个节点形成新的节点，并以距离两个虚拟圆切点最近的原节点的位置作为新的节点的位置；S5.判断剩余节点数是否为1，若不为1，返回S4，若为1，进入S6；S6.时钟信号从时钟源出发，按照节点合并顺序的逆序进行时钟信号的路由，得到时钟路由路线经过的所有边的权重及每个节点时钟的实际到达时间，并计算切割代价，计算所得的切割代价用于判断时序分割的好坏；所述的切割代价的计算公式为： （5），其中，Cost表示切割代价，Tclk表示时钟信号的路由经过的所有边的权重合，边的权重为子设计之间信号传递的延迟，Slack_setup表示根据每个触发器的实际时钟到达时间重新计算的建立时间的时序裕度，Slack_hold表示根据每个触发器的实际时钟到达时间重新计算的保持时间的时序裕度，α、β和γ均表示权重系数，且满足：α+β+γ=1，α≥0，β≥0，γ≥0；所述的建立时间的时序裕度Slack_setup和保持时间的时序裕度Slack_hold的计算公式为：Setup_slack=T4+P-TCQ-MaxTime-T3–Tsetup；Slack_hold=TCQ+Mintime+T3-T4–Thold；其中，P为时钟周期，T3为时钟源到达前一个触发器的时钟延迟，T4为到达后一个触发器的时钟延迟，TCQ表示每个触发器在被采样时钟触发后数据从输入端传递到输出端的时间，Maxtime表示相邻触发器之间的最大时间延时，Mintime表示相邻触发器之间的最小时间延时，Tsetup表示每个触发器建立的时间，Thold表示每个触发器的保持时间。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江雷娜科技有限公司，其通讯地址为：322015 浙江省金华市义乌市稠江街道杨村路300号A幢1楼-003；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。