时序收敛与签核 (Static Timing Analysis)

时序收敛与签核（Static Timing Analysis）教程导读

本册主线：沿着一条问题链——芯片为什么跑不到目标频率——把静态时序分析（STA）从判定公式讲到修复药方，再到多模多角签核与方法论闭环，读完你能独立读懂时序报告、定位违例根因，并给出有依据的修复方案。

为什么流片回来的芯片，实测频率总是低于综合报告里那个漂亮的数字？

这个问题几乎每个数字芯片工程师都撞上过：设计团队拿着综合后的时序总结说余量充足，样片上台架一跑，主频差了一截；有人怀疑工艺，有人怀疑封装，有人怀疑测试机台。真正的原因，往往藏在"报告说没问题"与"硅片真的没问题"之间的那道缝隙里——约束写得偏乐观、角覆盖不够全、串扰没算进去、保持时间在快角上被透支。静态时序分析（Static Timing Analysis，STA）就是用来缝合这道缝隙的学科，而"时序收敛"则是把分析结果一路修到干净的那段工程实践。

本册不打算写成一本工具手册，也不打算堆砌公式的推导。我们以一条问题链组织全部内容：芯片跑不到目标频率，是因为数据没赶上采样沿（建立检查）或者跑得太快冲过了采样窗（保持检查）——这是两道门槛；门槛两边立着延迟这笔账，账目由单元、互连和串扰共同书写；账算错了或者目标写错了，违例报告就会误导人，所以要逐行读懂报告；确认是真违例后，物理手段和逻辑手段各有一副药；药方在不同工艺角、不同工作模式下结论可能完全相反，于是需要多模多角的签核矩阵兜底；最后，把这一切串成可重复的收敛方法论，才算闭环。

全册地图：六章问题链与八章内容的对应

全册八章对应问题链上的六个站点。第一、二章回答"卡在哪儿"：先建立 STA 的世界观（路径、时钟、图模型），再给出建立与保持两道门槛的判定公式；第三章回答"延迟从哪来"，把单元查表、互连 RC、串扰效应三笔账算清；第四章回答"目标写对了吗"，即 SDC 约束与例外；第五章回答"换个角还成立吗"，覆盖 PVT 角点、OCV 与统计方法；第六章回答"怎么治"，从流程前段的时序驱动到签核前的 ECO，再到修复决策树与收益量级；第七、八章回答"怎么证明治好了以及下次怎么更快"，覆盖多模多角签核矩阵、可靠性裕量、工具引擎与先进封装，最终收束到收敛方法论闭环。

图：全册知识地图——问题链六站与八章依赖关系

你读完应当能做到的事

这些能力是可检验的，读完任何一章都可以回头对照：

• 给定 0.5ns 时钟周期与一段单元加互连的延迟清单，手算建立裕量与保持裕量，判断违例方向（第二章 2.1 有完整算例）。
• 拿到一份 timing report，逐行说出 arrival、required、slack 各自的构成，指出负 slack 出在哪个环节（2.4 逐行解剖）。
• 面对一条违例路径，按决策树选择修复手段，并说出每种手段的典型收益量级与代价（第六章 6.4）。
• 解释为什么保持时间检查必须在快角做、建立时间检查为什么离不开慢角，以及温度反转现象如何颠覆"高温更慢"的直觉（第五章 5.1）。
• 数得清一个四模式、三 PVT、双 RC 的设计需要覆盖多少个签核场景，哪些场景管建立、哪些管保持（第七章 7.4）。
• 识别"约束写错导致假收敛"的常见模式：漏约束的端口、过宽的伪路径、错误的生成时钟（第四章 4.3）。

本册的叙事约定

单位一律用 ns 与 ps（1ns = 1000ps），频率换算记住一个速查：周期 2.0ns 对应 500MHz，1.0ns 对应 1GHz，0.5ns 对应 2GHz。裕量（slack）符号约定为"要求时间减到达时间"，正值代表达标，负值代表违例，数值越接近零越危险。工艺角命名沿用工业界习惯：SS 表示慢工艺慢角，FF 表示快工艺快角，TT 为典型角；电压写在角名里（如 0.72V），温度写在后面（如负 40 度低温、125 摄氏度高温）。示例中的库单元名（如 INVX1、BUF X4）与报告格式取自通用 STA 工具风格，换一家工具字段名略有差异，但结构完全一致。

引号里的术语首次出现时都给英文原文，方便你对接英文文档与工具报错信息。每节开头都会点明它在问题链上的位置——你随时知道自己卡在哪一站、下一站去哪儿。如果你只想解决手头的一个具体违例，直接翻第六章的决策树也能用，但我们建议至少把第二章的公式演算亲手算一遍：那道算术题是全册所有结论的地基。