Quick Start：快速上手时序约束
- 准备 Vivado 2023.1 及以上版本，创建空工程，器件选择 XC7A35T-2CSG324C（Artix-7）。
- 编写一个简单的 8 位计数器 RTL（代码见后），并添加顶层约束文件（.xdc）。
- 在 Vivado 中运行综合（Synthesis），打开综合设计（Open Synthesized Design）。
- 点击“Report Timing Summary”，确认无时序路径（无约束时报告会显示“No constrained paths”）。
- 在 .xdc 文件中添加主时钟约束：
create_clock -period 10.000 -name sys_clk [get_ports clk]。 - 重新运行综合，再次 Report Timing Summary，此时应看到约束的时钟路径，WNS（最差负余量）为正数。
- 运行实现（Implementation），打开实现设计，Report Timing Summary，确认 WNS 仍为正（通常 > 0.1 ns 为安全）。
- 若 WNS 为负，检查代码或约束（参考故障排查章节）；若为正，则时序约束基本通过。
- 生成比特流并下载到板卡，观察计数器 LED 闪烁频率是否符合预期（100 MHz 时钟下，25 位计数器最高位约 2.98 Hz）。
- 验收点：Vivado 时序报告无红色违规，上板功能正常。
前置条件与环境
| 项目 | 推荐值 | 说明 | 替代方案 |
|---|---|---|---|
| 器件/板卡 | Xilinx Artix-7 XC7A35T | 入门级 FPGA，资源适中 | XC7A100T / Cyclone IV / ECP5 |
| EDA 版本 | Vivado 2023.1 | 支持最新约束语法 | Vivado 2019.1+ / Quartus Prime 20.1+ |
| 仿真器 | Vivado Simulator | 内置于 Vivado，免安装 | ModelSim / Questa / Verilator |
| 时钟源 | 100 MHz 板载晶振 | 用于主时钟约束 | 50 MHz / 125 MHz（需调整周期） |
| 复位信号 | 异步低有效复位 | 常见 FPGA 复位策略 | 同步复位（需额外约束） |
| 接口依赖 | LED 输出（8 位） | 用于上板验证 | 串口 / GPIO |
| 约束文件 | 1 个 .xdc 文件 | 包含时钟、I/O 延迟等 | 多个 .xdc 文件（按优先级） |
目标与验收标准
- 功能点：8 位计数器在 100 MHz 时钟下正常运行，最高位 LED 以约 2.98 Hz 闪烁。
- 性能指标：最差负余量（WNS）≥ 0.1 ns，最差保持余量（WHS）≥ 0.1 ns。
- 资源：LUT 使用 ≤ 20 个，FF 使用 ≤ 16 个（计数器规模小）。
- 验收方式：运行
report_timing_summary命令，确认无违规；上板后 LED 闪烁符合预期频率。 - 关键波形：仿真波形显示计数器在每个时钟上升沿递增，无毛刺。
实施步骤
工程结构
创建 Vivado 工程，顶层模块名为 counter_top，包含时钟 clk、复位 rst_n、8 位输出 led。源码结构如下：
counter_top/
├── rtl/
│ └── counter_top.v
├── xdc/
│ └── counter_top.xdc
└── sim/
└── tb_counter_top.v (可选)关键 RTL 代码（counter_top.v）
module counter_top (
input wire clk,
input wire rst_n,
output reg [7:0] led
);
always @(posedge clk or negedge rst_n) begin
if (!rst_n)
led <= 8'b0;
else
led <= led + 1'b1;
end
endmodule约束文件编写（counter_top.xdc）
首先添加主时钟约束，周期 10 ns（对应 100 MHz）：
create_clock -period 10.000 -name sys_clk [get_ports clk]对于异步复位信号，建议添加伪路径约束，避免时序分析工具误报：
set_false_path -from [get_ports rst_n]若需要更精确的 I/O 时序，可添加输入输出延迟约束（本例中 LED 为简单输出，可暂不添加）：
set_output_delay -clock sys_clk -max 2.0 [get_ports led]验证结果
完成约束后，依次运行综合与实现。在实现设计中使用 report_timing_summary 命令，检查 WNS 与 WHS。预期输出中 WNS 应大于 0.1 ns，且无红色违规条目。若 WNS 为负，则需排查代码或约束（见排障章节）。
故障排查
- WNS 为负：检查时钟周期是否与板载晶振一致；确认时钟端口名与 RTL 中一致；检查是否有组合逻辑链过长，可考虑流水线优化。
- 约束未生效：确认 .xdc 文件已添加到工程，且未被其他约束覆盖；检查约束语法是否正确（如分号、括号匹配）。
- 上板 LED 不闪烁：检查比特流是否下载成功；确认时钟是否正常起振；检查复位信号电平是否与代码匹配。
扩展：从基础到进阶
完成本指南后，可尝试以下扩展：
- 添加多个时钟域（如使用 MMCM/PLL 生成 50 MHz 和 200 MHz），并添加跨时钟域约束。
- 为输入输出端口添加完整的 I/O 延迟约束，模拟真实 PCB 走线延迟。
- 使用
report_clock_interaction检查时钟域交互，避免亚稳态风险。
参考
- Vivado Design Suite User Guide: Using Constraints (UG903)
- Xilinx Artix-7 FPGA Data Sheet (DS181)
- IEEE Std 1800-2017: SystemVerilog (用于 RTL 语法参考)
附录：检查清单
- [ ] 确认时钟端口名与 RTL 一致。
- [ ] 确认时钟周期对应实际频率。
- [ ] 为异步信号（如复位）添加伪路径。
- [ ] 为所有输入输出端口添加延迟约束。
- [ ] 运行综合后检查时序报告。
- [ ] 运行实现后再次检查时序报告。
- [ ] 上板前运行后仿（可选但推荐）。
