5.1.2 关键路径搜索与时序裕量（Slack）计算

文档摘要

5.1.2 关键路径搜索与时序裕量（Slack）计算在数字电路设计的深水区，时序验证从来不是一场优雅的数学推演，而是一场与物理现实短兵相接的精密博弈。你写下一行，综合工具把它编译成一个标准单元库中的 NAND2X1，它被放置在芯片上某处——但此时，它尚未真正“活过来”。它的生命节奏，由信号穿越晶体管沟道的时间、金属线寄生电阻电容的耦合效应、电源网格的IR Drop波动、乃至封装焊球的电感共同谱写。静态时序分析（STA）正是这支交响乐的首席指挥：它不运行测试向量，不模拟瞬态波形，却能在纳秒级精度上，对百万级门电路的每一条路径进行“心跳听诊”。