8.1 设计约束管理：SDC 的语义与审查

8.1 设计约束管理：SDC 的语义与审查

本节摘要：SDC（Synopsys Design Constraints）是把设计意图翻译成机器可执行检查的正式语言：时钟定义、输入输出延迟、例外路径声明。约束是全流程的宪法——综合、布局、签核都按它办事，写错一处，所有工具都会认真地把错误执行到底。本节逐类拆解约束的语义与高频错误，并给出一份可操作的约束审查清单。学完本章，第 4 章的时序检查公式才有了完整的输入侧。

约束为什么是宪法而不是配置

一个类比先立起来：约束之于工具链，如同合同条款之于执行团队——工具不做对的事，只做被要求的事。漏写时钟定义，综合器会"自作主张"推断一个（可能频率完全不同的）时钟，整条流程在你不知情的情况下奔向错误目标；把伪路径（false path）写多了，签核工具会跳过本该检查的路径，流片后的失败点恰在"被豁免"的区域。约束错误的隐蔽性在于：流程照常出报告、数字照常绿，错误只在与真实意图对质时才暴露——而那通常是硅片回来之后。先进项目的 SDC 文件从几百行到几千行，其中任何一行都可能在签核时被援引，约束管理因此是一门"语义精确 + 制度保证"的双重手艺。

时钟定义：全流程的地基

一切时序约束从时钟开始。create_clock 声明时钟源（端口或寄存器引脚）、周期、占空比与边沿位置；create_generated_clock 描述分频、倍频与相移时钟与源时钟的推导关系。语义上的关键细节有两个。第一，时钟树的传播：默认约束作用于"理想时钟"（源点直接连到所有触发器，无树延迟），物理实现后切换到传播时钟（set_propagated_clock，用真实时钟树延迟做检查）——两种模式的切换时机是流程的固定仪式，切早了树还没建好、切晚了检查失真。第二，时钟组与交叉检查：异步时钟域之间默认会做时序检查（跨域路径被当同步路径要求达标），必须用 set_clock_groups 显式声明异步关系予以豁免——漏写这一行的后果是海量虚假违例，写错这一行（把同步时钟错标异步）的后果是真实违例被放行，后者危险得多。

// 一份 SDC 的骨架（语义示意，非完整语法）
create_clock -name sys_clk -period 2.5 [get_ports clk_p]   // 400 MHz 主时钟
create_generated_clock -name div2 -divide_by 2 \
    -source [get_ports clk_p] [get_pins u_div/Q]
set_clock_groups -asynchronous -group sys_clk -group div2  // 异步域豁免

set_input_delay 0.6 -clock sys_clk [all_inputs]            // 外部到达时间
set_output_delay 0.5 -clock sys_clk [all_outputs]          // 外部要求时间

set_false_path -from [get_clocks jtag_clk]                 // 测试时钟永久豁免
set_multicycle_path 2 -to [get_pins u_mac/*]               // 乘法器两拍完成
set_max_delay 1.2 -to [get_ports sync_out*]                // 输出延迟硬上限
​

例外路径：松紧之间的责任

例外约束（exceptions）是 SDC 里权力最大也最危险的部分，三类各有明确语义。伪路径（set_false_path）：声明某路径的时序"根本不关心"——典型是真正被同步器保护的异步跨域、测试逻辑路径。它的语义是永久豁免，签核不再检查，因此只应使用在"功能上保证无害"的路径上，且每条都值得一句注释说明理由。多周期路径（set_multicycle_path）：声明数据用多个时钟拍传输——如使能控制的慢速通路。语义细节极易出错：建立检查与保持检查的参考沿要分别指定，漏掉保持侧的配套声明会让保持检查跑到错误的沿上（这是约束审查的头号高频错误）。最大延迟与最小延迟（set_max_delay 与 set_min_delay）：直接给路径限值，常用于源同步接口与特殊时序场景，绕过时钟推导体系。

例外的账本效应值得单独算：一条伪路径免掉的是该路径上全部建立与保持检查——每写一条例外，都等于亲手把一段电路移出保护伞。成熟团队的纪律因此是两条：例外数量与总路径数的比值设警戒线（例如超过百分之几触发评审）；每条例外必须绑定"谁批的、为什么"的注释，注释进版本管理。约束文件由此不是配置，而是一份持续维护的决策档案。

约束的生命周期与审查制度

约束在项目里是活的：顶层时钟方案在架构期定稿，接口时序在协议冻结时定稿，例外随设计推进累积——每一轮修订都要能回答"谁改的、为什么、影响哪些检查"。制度上的最小集合有四件事。其一，约束评审会：时钟方案与全部例外在冻结前过会，评审人必须同时含前端（懂意图）与后端（懂检查语义）——单一视角的评审是错误温床。其二，同源单一：前端综合与后端签核使用同一份 SDC 源（或经工具校验的一致性比对），禁止两套文件各自漂移——"综合过了签核不过"的一类根因就是约束漂移。其三，交叉校验：用工具自动检查"未约束的时钟、未声明的域交叉、悬空的例外"（各家工具都有 check 类命令），纳入夜间回归的固定项。其四，变更留痕：约束文件进版本管理，每次改动绑定设计变更单号。四件事都不贵，缺任何一件，代价都会在签核周集中爆发。

图：约束生命周期与审查闸门

本节要点回顾

• 约束即宪法：工具只做被要求的事，约束错误让全流程认真执行错误且报告常绿。
• 时钟两细节：理想时钟与传播时钟的切换时机；异步域必须显式豁免，错标方向决定灾难大小。
• 例外是出伞：每条伪路径移走一段保护，纪律是数量警戒线加逐条审批注释。
• 多周期陷阱：建立与保持两侧的参考沿须分别声明，漏保持侧是审查头号高频错。
• 制度四件套：双视角评审、同源单一、自动交叉校验、变更留痕，缺一在签核周集中还债。
• 报告必绿≠设计必对：约束审查的目的是让"绿"与"对"重合。