Timing Analysis

静态时序分析技能

当用户需要进行静态时序分析、时序诊断和时序收敛时，启用此技能。提供时序结果解读、问题诊断、优化策略。

When to Activate

• 静态时序分析结果解读
• 时序违例诊断和修复
• 时序收敛优化
• 多工艺角时序分析
• OCV/MMMC 分析
• 时序签收

行业经验数值

时序设计经验值

时钟设计经验值

扇出设计经验值

故障诊断框架

症状分类与诊断流程

症状1：WNS 持续为负

诊断步骤1：分析时序报告

# 获取详细时序信息
report_timing -max_paths 100 -slack_lesser_than 0 \
              -input_pins -nets -caps -transition_time

# 分析延迟组成
report_delay_calculation -from [get_pins start/Q] -to [get_pins end/D]

判断标准：

诊断步骤2：检查约束正确性

# 验证时钟定义
report_clock -skew -latency

# 检查假路径
report_false_path

# 检查多周期路径
report_multicycle_path

# 检查输入输出延迟
report_port -delay

诊断步骤3：定位根本原因

症状2：TNS 远大于 WNS

现象： TNS >> WNS（如 WNS=-100ps, TNS=-10000ps）

诊断： 不只是几条路径有问题，而是模块级问题

症状3：保持时间违例

诊断步骤：

# 分析保持时间违例
report_timing -delay_type min -max_paths 50

# 检查时钟偏斜
report_clock_timing -type skew

根本原因分析：

症状4：不同工艺角结果矛盾

现象： SS 工艺角满足，FF 工艺角不满足（或相反）

诊断：

# 比较 SS 和 FF 工艺角
report_timing -max_paths 10 > timing_ss.rpt
current_scenario ff
report_timing -max_paths 10 > timing_ff.rpt

原因与解决方案：

步骤 1：理解基本概念

1.1 建立时间（Setup Time）

定义： 数据需要在下一个时钟沿之前稳定到达。

计算公式：

Setup Slack = Required Time - Arrival Time
           = (Clock Period + Clock Skew) - (Launch Clock + Data Delay)

• Slack ≥ 0 → 满足
• Slack < 0 → 违例，路径太慢

1.2 保持时间（Hold Time）

定义： 数据需要在时钟沿之后保持稳定，不能太快到达。

计算公式：

Hold Slack = Arrival Time - Required Time
           = (Launch Clock + Data Delay) - (Capture Clock + Hold Time)

• Slack ≥ 0 → 满足
• Slack < 0 → 违例，路径太快

1.3 关键术语

步骤 2：运行静态时序分析

2.1 准备输入数据

需要准备：

• 网表（.v 或 .v.gz）
• 工艺库（.lib 或 .db）
• 时序约束（.sdc）
• 寄生参数（.spef）

2.2 运行 STA

PrimeTime 示例：

# 读入库文件
set link_library [list *.lib]

# 读入网表
read_verilog design.v

# 链接设计
current_design design_name
link

# 读入约束
read_sdc constraints.sdc

# 读入寄生参数
read_parasitics design.spef

# 运行时序分析
update_timing

# 生成报告
report_timing -max_paths 100 -slack_lesser_than 0
report_timing -delay_type min -max_paths 100
report_constraint -all_violators

2.3 MMMC 分析设置

为什么需要 MMMC： 单一工艺角分析无法覆盖所有工作条件

# 创建场景
create_scenario -name func_ss_125c
create_scenario -name func_ff_-40c
create_scenario -name test_ss_125c

# 设置每个场景的操作条件
current_scenario func_ss_125c
set_operating_conditions -library slow_lib slow_125c

current_scenario func_ff_-40c
set_operating_conditions -library fast_lib fast_-40c

# 运行分析
report_timing -scenarios {func_ss_125c func_ff_-40c}

2.4 必须检查的工艺角

步骤 3：解读时序报告

3.1 查看汇总信息

第一步：看整体结果

Report: Timing Summary
  WNS: -0.234 ns (Setup)
  TNS: -12.567 ns (Setup)
  NP: 156 paths

  WNS: -0.045 ns (Hold)
  TNS: -1.234 ns (Hold)
  NP: 23 paths

解读方法：

3.2 分析关键路径

第二步：分析关键路径详情

Startpoint: reg1/CK (rising edge-triggered flip-flop)
Endpoint:   reg2/D (rising edge-triggered flip-flop)
Path Group: clk
Path Type:  max

Point                   Incr       Path
--------------------------------------------------
clock clk (rise edge)   0.000      0.000
clock network delay     0.200      0.200
reg1/CK                 0.000      0.200 r
reg1/Q                  0.150      0.350 f    <- 检查转换时间
comb1/Z                 0.300      0.650 f    <- 延迟最大的单元
comb2/Z                 0.250      0.900 f
comb3/Z                 0.200      1.100 r
reg2/D                  0.000      1.100 r
data arrival time                  1.100

clock clk (rise edge)   1.000      1.000
clock network delay     0.200      1.200
clock uncertainty      -0.050      1.150
reg2/setup time        -0.050      1.100
data required time                 1.100
--------------------------------------------------
slack                              0.000

分析要点：

1. 统计单元延迟

   • 数逻辑级数（此例：4级）
   • 找最大延迟单元（comb1: 300ps）

2. 检查转换时间

   • 查看每个端点的转换时间
   • 转换时间过大 → 驱动不足

3. 检查线延迟

   • 线延迟占比高 → 布局问题

4. 检查时钟路径

   • 时钟网络延迟是否合理
   • 时钟不确定性是否合理

3.3 分类违例

第三步：分类违例

步骤 4：修复建立时间违例

建立时间违例 = 路径太慢

4.1 优化方法选择决策树

建立时间违例
    │
    ├── 逻辑级数 > 10？
    │       ├── 是 → 流水线分割（最有效）
    │       └── 否 → 检查延迟组成
    │
    ├── Cell Delay > 60%？
    │       ├── 是 → 检查驱动强度
    │       │       ├── 驱动太小 → 换大驱动
    │       │       └── 扇出太大 → 复制寄存器
    │       └── 否 → 检查线延迟
    │
    ├── Net Delay > 60%？
    │       ├── 是 → 布局问题
    │       │       ├── 线太长 → 重新摆放
    │       │       └── 拥塞 → 优化布线
    │       └── 否 → 继续分析
    │
    └── 接近收敛？
            ├── 是 → 有用偏斜
            └── 否 → 重新评估设计

4.2 优化方法详解

4.3 流水线分割示例

问题： 长组合逻辑路径延迟太大

// ❌ 问题：一级组合逻辑 32 级进位，延迟太大
always @(*) begin
    for (i = 0; i < 32; i = i + 1) begin
        c[i+1] = a[i] & b[i] | c[i] & (a[i] ^ b[i]);
    end
end

解决： 分成两级流水

// ✅ 解决：分成两级流水
always @(posedge clk) begin
    // 第一级：低 16 位
    level1_c <= lower_16_bits_calculation;
end

always @(*) begin
    // 第二级：高 16 位 + 第一级结果
    final_result = upper_16_bits + level1_c;
end

4.4 PrimeTime 优化命令

# 分析关键路径
report_timing -max_paths 20 -input_pins -nets -caps

# 识别高扇出网络
report_net_fanout -threshold 16

# 分析延迟组成
report_delay_calculation -from [get_pins start/Q] -to [get_pins end/D]

# 自动优化建议
report_qor

步骤 5：修复保持时间违例

保持时间违例 = 路径太快

5.1 优化方法

5.2 插入延迟单元示例

问题路径：
reg1/Q -> [comb: 0.2ns] -> reg2/D
保持时间要求：0.3ns
Slack = 0.2 - 0.3 = -0.1ns（违例）

解决：插入 buffer
reg1/Q -> [comb: 0.2ns] -> [buffer: 0.15ns] -> reg2/D
Slack = 0.35 - 0.3 = 0.05ns（满足）

5.3 保持时间修复流程

1. 分析保持时间违例路径
2. 计算需要的延迟量
3. 选择合适的 buffer
4. 插入 buffer
5. 重新检查建立时间（重要！）
6. 检查所有工艺角

⚠️ 重要提醒： 修复保持时间后，必须重新检查建立时间！ 增加延迟会改善保持时间，但可能恶化建立时间。

步骤 6：OCV 分析

6.1 什么是 OCV

同一芯片上，相同类型的单元速度也可能不同：

• 制造工艺偏差
• 电压偏差
• 温度偏差

6.2 OCV 分析设置

PrimeTime 示例：

# 设置 OCV 降额
set_timing_derate -early 0.90 -cell_delay
set_timing_derate -late 1.10 -cell_delay

# 打开 CPPR
set timing_remove_clock_reconvergence_pessimism true

# 运行分析
update_timing
report_timing -max_paths 100

6.3 OCV 降额因子选择

步骤 7：时序签收

7.1 签收标准

7.2 签收检查清单

• 所有工艺角 WNS ≥ 0
• 所有工艺角 Hold WNS ≥ 0
• TNS = 0
• OCV 分析满足
• CPPR 已打开
• 没有 false path 遗漏
• 所有时钟都已定义
• 输入输出延迟已设置
• 时钟不确定性已设置

7.3 生成最终报告

# 生成所有工艺角汇总报告
report_timing -max_paths 100 -slack_lesser_than 0 > setup_violators.rpt
report_timing -delay_type min -max_paths 100 > hold_violators.rpt
report_constraint -all_violators > all_violators.rpt
report_timing_summary > timing_summary.rpt
report_clock_timing -type summary > clock_summary.rpt

# QoR 汇总
report_qor > qor_summary.rpt

案例研究

案例：DDR 控制器时序收敛问题

背景：

• 项目：某 SoC 芯片
• 工艺：16nm FinFET
• 目标频率：1.2GHz
• 问题：SS 工艺角 WNS = -800ps

问题现象：

Path 1: SLACK = -800ps (VIOLATED)
  Startpoint: ddr_phy/data_out_reg
  Endpoint: ddr_controller/din_reg
  Path Group: clk_ddr
  Data Path Delay: 1.2ns
  Logic Levels: 12

诊断过程：

步骤1：分析延迟组成

Cell Delay: 400ps (33%)
Net Delay: 800ps (67%)  <-- 异常高

结论：Net Delay 占比过高，问题在布线

步骤2：检查布局

ddr_phy 位置: (100, 100)
ddr_controller 位置: (800, 800)
距离: 约1mm

结论：模块距离过远，线长过大

步骤3：检查扇出

data_out_reg fanout: 48  <-- 异常高

结论：扇出过大，每个接收端负载过重

解决方案：

结果：

Path 1: SLACK = +50ps (MET)
  Data Path Delay: 650ps
  Logic Levels: 12

WNS 从 -800ps 改善到 +50ps，时序收敛。

经验总结：

1. DDR 路径对布局敏感，应优先处理
2. 高扇出网络必须复制寄存器
3. 数据通路不能太长，建议 < 500um

高级主题：时序约束编写

Generated Clock

# 正确设置派生时钟
create_generated_clock -name clk_div2 \
                       -source [get_pins pll/clk_out] \
                       -divide_by 2 \
                       [get_pins div/clk_out]

# 注意：派生时钟的 master clock 必须正确定义

异步时钟域

# 设置异步时钟组
set_clock_groups -asynchronous \
                 -group [get_clocks clk_sys] \
                 -group [get_clocks clk_ddr] \
                 -group [get_clocks clk_peri]

# 或使用 false path
set_false_path -from [get_clocks clk_sys] -to [get_clocks clk_ddr]

Input/Output Delay

# 输入延迟：外部芯片到本芯片的延迟
set_input_delay -max 2.0 -clock clk [get_ports data_in]
set_input_delay -min 0.5 -clock clk [get_ports data_in]

# 输出延迟：本芯片到外部芯片的延迟
set_output_delay -max 2.0 -clock clk [get_ports data_out]
set_output_delay -min 0.5 -clock clk [get_ports data_out]

工具支持

反模式（要避免）

❌ 只检查典型工艺角：TT 不代表最坏情况

❌ 忽略 CPPR：结果悲观，过度优化

❌ 修复保持后不检查建立：可能引入新问题

❌ 过度使用 false path：可能掩盖真正的问题

❌ 不看 TNS 只看 WNS：可能漏掉模块级问题

❌ 不分析延迟组成直接优化：可能选错优化方法

代理协作

• 使用 physical-design-engineer 代理进行物理设计实现
• 使用 timing-engineer 代理进行时序分析和优化
• 时序修复后重新运行物理验证
• 配合 power-engineer 进行功耗时序权衡

步骤 0：时序约束准备

0.1 时钟定义

基础时钟定义：

# 主时钟
create_clock -name clk -period 10 [get_ports clk]

# 多个主时钟
create_clock -name clk_sys -period 5 [get_ports clk_sys]
create_clock -name clk_ddr -period 2.5 [get_ports clk_ddr]

# 虚拟时钟（用于 I/O 约束）
create_clock -name virt_clk -period 10

派生时钟定义：

# 分频时钟
create_generated_clock -name clk_div2 \
                       -source [get_pins pll/clk_out] \
                       -divide_by 2 \
                       [get_pins div/clk_out]

# 倍频时钟
create_generated_clock -name clk_mul2 \
                       -source [get_pins pll/clk_out] \
                       -multiply_by 2 \
                       [get_pins pll/clk_mul]

# 门控时钟（不要创建为派生时钟）
# 门控时钟输出自动继承源时钟

0.2 时钟属性设置

# 时钟不确定性
set_clock_uncertainty -setup 0.2 [get_clocks clk]
set_clock_uncertainty -hold 0.1 [get_clocks clk]

# 时钟延迟
set_clock_latency -max 0.5 [get_clocks clk]
set_clock_latency -min 0.3 [get_clocks clk]

# 时钟转换时间
set_clock_transition 0.1 [get_clocks clk]

# 时钟理想网络（CTS 前）
set_ideal_network [get_ports clk]
set_ideal_network [get_nets clk_net]

# 时钟传播（CTS 后）
set_propagated_clock [get_clocks clk]

0.3 输入输出延迟

# 输入延迟
set_input_delay -max 2.0 -clock clk [all_inputs]
set_input_delay -min 0.5 -clock clk [all_inputs]

# 特定端口的输入延迟
set_input_delay -max 1.5 -clock clk [get_ports data_in]
set_input_delay -min 0.3 -clock clk [get_ports data_in]

# 输出延迟
set_output_delay -max 2.0 -clock clk [all_outputs]
set_output_delay -min 0.5 -clock clk [all_outputs]

# 相对于虚拟时钟的延迟
set_input_delay -max 2.0 -clock virt_clk [get_ports data_in]

0.4 异步时钟域处理

# 方法1：设置异步时钟组
set_clock_groups -asynchronous \
                 -group [get_clocks clk_sys] \
                 -group [get_clocks clk_ddr] \
                 -group [get_clocks clk_peri]

# 方法2：设置假路径
set_false_path -from [get_clocks clk_sys] -to [get_clocks clk_ddr]
set_false_path -from [get_clocks clk_ddr] -to [get_clocks clk_sys]

# 异步复位
set_false_path -from [get_ports rst_n]

0.5 多周期路径

# 2 周期路径
set_multicycle_path 2 -setup -from [get_pins reg1/Q] -to [get_pins reg2/D]
set_multicycle_path 1 -hold -from [get_pins reg1/Q] -to [get_pins reg2/D]

# 路径组
set_multicycle_path 2 -setup -from [get_clocks clk_fast] -to [get_clocks clk_slow]

0.6 约束检查清单

# 检查所有时钟已定义
report_clock

# 检查未定义时钟的端口
report_port -direction in -verbose

# 检查输入输出延迟
report_port -delay

# 检查假路径
report_false_path

# 检查多周期路径
report_multicycle_path

# 检查约束完整性
check_timing

时序收敛迭代策略

迭代决策树

时序分析结果
    │
    ├── WNS < -500ps？
    │       ├── 是 → 严重问题
    │       │       ├── 逻辑级数 > 15？ → RTL重构/流水线
    │       │       ├── 扇出 > 32？ → 复制寄存器
    │       │       └── 线长异常？ → 重新布局
    │       └── 否 → 中等问题
    │               ├── 拥塞热点？ → 优化布局
    │               └── CTS 问题？ → 重做 CTS
    │
    ├── WNS -100ps ~ 0？
    │       └── 接近收敛
    │               ├── 有用偏斜
    │               └── 小规模优化
    │
    └── WNS ≥ 0？
            └── 检查所有工艺角
                    ├── SS 违例？ → 建立时间修复
                    ├── FF 违例？ → 保持时间修复
                    └── 全部满足 → 签收

迭代次数参考

收敛检查点

时序回归追踪

QoR 指标追踪

# 生成 QoR 报告
report_qor > qor_report.rpt

# 关键指标
# - WNS (Setup/Hold)
# - TNS (Setup/Hold)
# - NP (违例路径数)
# - 面积
# - 功耗

追踪表格模板