⏱️ 时序验证与静态时序分析实战 30章 · 全流程

📘 友好色系
01 时序分析概述
什么是时序分析?为什么需要时序分析?数字电路中的时间概念。
02 时序路径基础
时序路径的组成(起点、终点、组合逻辑)、数据到达时间与时钟到达时间。
03 建立时间与保持时间
Setup Time 定义与约束、Hold Time 定义与约束、时序违例的后果。
04 时钟特性
时钟周期、时钟占空比、时钟抖动(Jitter)、时钟偏斜(Skew)。
05 时序约束入门
什么是时序约束?SDC文件基础、创建时钟(create_clock)。
06 I/O约束
输入延迟约束(set_input_delay)、输出延迟约束(set_output_delay)、虚拟时钟。
07 时序例外(一)
伪路径(set_false_path)、多周期路径(set_multicycle_path)。
08 时序例外(二)
最大/最小延迟约束(set_max_delay/set_min_delay)、时钟组(set_clock_groups)。
09 组合逻辑时序
组合逻辑中的延迟计算、关键路径分析、逻辑级数与延迟优化。
10 时序库基础
Liberty (.lib) 文件结构、单元延迟模型(NLDM/CCS)、查找表。
11 互连线延迟
互连线模型、RC延迟计算、Elmore延迟模型。
12 静态时序分析流程
STA的基本流程、读取设计、读取约束、时序报告生成。
13 时序报告解读
报告时序汇总(report_timing)、路径分组、slack的含义。
14 Setup时序分析
Setup时序检查公式、Setup违例分析与修复。
15 Hold时序分析
Hold时序检查公式、Hold违例分析与修复。
16 时钟门控时序
时钟门控检查(Clock Gating Check)、门控使能时间。
17 异步处理与同步器
跨时钟域(CDC)问题、双级触发器同步器、异步FIFO。
18 复位时序
同步复位与异步复位、复位恢复时间与移除时间。
19 片上变异(OCV)
OCV概念、OCV分析方法(derating/CRPR/AOCV)。
20 时序收敛策略
时序收敛方法论、物理综合优化、有用的时钟偏斜。
21 功耗与时序权衡
动态功耗与静态功耗、电压缩放对时序的影响、多电压域设计。
22 多模式多角分析(MMMC)
不同PVT条件下的时序分析、MMMC设置方法。
23 时序仿真验证
动态时序仿真(Gate-level Simulation)、SDF反标、仿真与STA对比。
24 形式化时序验证
等价性检查(Formal Equivalence Checking)、时序断言。
25 先进工艺节点挑战
FinFET工艺下的时序挑战、寄生参数提取精度、IR Drop对时序的影响。
26 时序分析工具实践(一)
Synopsys PrimeTime入门、Tcl脚本基础、读取设计与库。
27 时序分析工具实践(二)
PrimeTime约束检查、生成时序报告、调试违例。
28 时序分析工具实践(三)
Cadence Tempus入门、时序收敛流程、ECO指导。
29 综合中的时序优化
逻辑综合中的时序驱动优化、重定时(Retiming)、流水线插入。
30 项目实战
从RTL到GDS的时序全流程、常见问题复盘、时序分析工程师面试要点。