STA Exception 审计

When to use

当 SDC 中 exception 数量变多、时序看似 clean 但团队担心约束过度或漏约束时使用。它帮助 STA owner 审计每条 exception 是否有架构、协议或模式证据。

Inputs

• SDC 文件、exception 报告和 unconstrained path 报告。
• 时钟关系、模式定义、CDC/RDC 报告。
• 关键路径、violating path、已批准 waiver。
• 项目 STA signoff 标准。

Workflow

1. 按 exception 类型建立清单，并统计影响路径数量。
2. 对 false path 检查是否真互斥、异步或不可达。
3. 对 multicycle 检查 setup/hold 成对约束和协议证据。
4. 对 clock group 检查是否误切同步关系。
5. 对 case analysis 检查 mode 条件是否覆盖测试和低功耗场景。
6. 输出必须复核、可保留、建议删除三类结论。

Outputs

• STA exception 审计报告。
• 高风险 exception 列表。
• 证据缺口和