第28章 Vivado DPR Tcl脚本自动化

课程目录第28章 Vivado DPR Tcl脚本自动化

一、Vivado DPR Tcl脚本自动化：从手动到自动的蜕变

说实话，我刚接触动态部分重构（DPR）那会儿，最头疼的就是重复操作。每次改一点设计，就得重新跑一遍综合、实现、生成比特流……点鼠标点到手酸。后来我学乖了——用Tcl脚本把这些流程串起来，一劳永逸。

今天咱们就聊聊，怎么用Vivado的Tcl脚本，把DPR的三大核心步骤自动化：综合、实现、比特流生成。你想想看，一个脚本跑完，喝杯咖啡回来，所有文件都准备好了，多省心。

核心思路：把手工操作变成脚本命令，让Vivado批量执行。说白了，就是告诉工具“你按这个流程走，别让我一个个点”。

1.1 自动化综合脚本

综合这一步，我习惯分成两个阶段：先综合静态区，再综合各个可重构模块。为什么要分开？因为静态区只做一次，而可重构模块可能有多个版本。

来看一个我常用的综合脚本模板：

# 设置顶层模块
set top_module "top_dpr"
set part "xc7k325tffg900-2"

# 创建综合运行
create_run -name synth_static -part $part -flow "Vivado Synthesis 2023"
set_property STEPS.SYNTH_DESIGN.ARGS.MORE OPTIONS {-mode out_of_context} [get_runs synth_static]

# 添加静态区源文件
read_vhdl -library work [glob ./src/static/*.vhd]
read_verilog [glob ./src/static/*.v]

# 设置顶层
set_property top $top_module [current_fileset]

# 启动综合
launch_runs synth_static -jobs 4
wait_on_run synth_static

# 检查结果
if {[get_property PROGRESS [get_runs synth_static]] != "100%"} {
    error "静态区综合失败！"
}

嗯，这里要注意：-mode out_of_context这个选项很关键。它告诉Vivado，先别管顶层连接，只综合这个模块本身。我在项目中遇到过，如果不加这个参数，综合器会尝试优化跨模块的连线，反而容易出问题。

对于可重构模块，脚本逻辑类似，但需要为每个模块单独创建运行：

# 假设有三个可重构模块：mod_a, mod_b, mod_c
foreach module {mod_a mod_b mod_c} {
    create_run -name synth_${module} -part $part -flow "Vivado Synthesis 2023"
    set_property STEPS.SYNTH_DESIGN.ARGS.MORE OPTIONS {-mode out_of_context} [get_runs synth_${module}]
    
    # 只添加当前模块的文件
    read_verilog [glob ./src/reconfig/${module}/*.v]
    
    set_property top $module [current_fileset]
    launch_runs synth_${module} -jobs 4
    wait_on_run synth_${module}
}

我的小技巧：给每个综合运行起个有规律的名字，比如synth_static、synth_mod_a。后面实现脚本里引用起来特别方便，不容易搞混。

1.2 自动化实现脚本

实现这一步，DPR和普通设计最大的区别在于：需要用到部分重构的物理约束。说白了，你得告诉工具，哪些区域是静态的，哪些区域是可以动态切换的。

我曾经踩过一个坑：忘了在实现脚本里加载PR约束文件，结果跑出来的设计根本不能重构。从那以后，我每次都在脚本开头就检查约束文件是否存在。

下面是我常用的实现脚本框架：

# 打开综合后的网表
open_run synth_static

# 加载物理约束（PR区域定义）
read_xdc ./constraints/pr_regions.xdc
read_xdc ./constraints/timing.xdc

# 创建实现运行
create_run -name impl_static -parent_run synth_static -flow "Vivado Implementation 2023"

# 设置实现选项
set_property STEPS.OPT_DESIGN.ARGS.DIRECTIVE Explore [get_runs impl_static]
set_property STEPS.PLACE_DESIGN.ARGS.DIRECTIVE ExtraTimingOpt [get_runs impl_static]
set_property STEPS.ROUTE_DESIGN.ARGS.DIRECTIVE Explore [get_runs impl_static]

# 启动实现
launch_runs impl_static -jobs 4
wait_on_run impl_static

# 检查时序
if {[get_property STATUS [get_runs impl_static]] != "impl_route_complete"} {
    error "实现失败，请检查时序约束"
}

对于可重构模块的实现，需要为每个模块单独跑实现，但复用静态区的布局布线结果：

foreach module {mod_a mod_b mod_c} {
    create_run -name impl_${module} -parent_run synth_${module} -flow "Vivado Implementation 2023"
    
    # 关键：继承静态区的实现结果
    set_property STEPS.INIT_DESIGN.ARGS.MORE OPTIONS {-ref impl_static} [get_runs impl_${module}]
    
    launch_runs impl_${module} -jobs 4
    wait_on_run impl_${module}
}

注意：-ref impl_static这个参数不能省。它告诉工具，可重构模块的实现要基于静态区的布局布线结果来做。少了它，工具会从头开始布局，那静态区和可重构模块的接口就对不上了。

1.3 自动化比特流生成脚本

比特流生成是最后一步，也是最容易出幺蛾子的地方。DPR需要生成两种比特流：一个是完整的初始比特流（包含静态区和所有可重构模块），另一个是部分比特流（只包含某个可重构模块）。

我习惯用表格来管理不同配置的比特流：

比特流类型	包含内容	用途
完整比特流	静态区 + 所有可重构模块	初始加载
部分比特流_mod_a	仅mod_a模块	运行时切换
部分比特流_mod_b	仅mod_b模块	运行时切换
部分比特流_mod_c	仅mod_c模块	运行时切换

生成脚本如下：

# 生成完整比特流
open_run impl_static
write_bitstream -force ./output/top_full.bit

# 生成部分比特流
foreach module {mod_a mod_b mod_c} {
    open_run impl_${module}
    write_bitstream -force -cell ${module} ./output/${module}_partial.bit
}

这里-cell参数指定了要生成哪个可重构模块的部分比特流。我记得第一次用的时候，忘了加这个参数，结果生成了完整比特流，白跑了一趟。

自动化脚本的完整流程：

综合静态区 → 综合各可重构模块
实现静态区（含PR约束） → 实现各可重构模块（继承静态区结果）
生成完整比特流 → 生成各模块的部分比特流

把这三步串成一个主脚本，一键执行。

1.4 避坑指南与个人经验

做DPR自动化脚本这几年，我踩过的坑能写满一页纸。挑几个最典型的说说：

文件路径问题：我习惯用相对路径，但Vivado有时候会找不到文件。后来我改成在脚本开头用cd命令切换到项目根目录，再也没出过问题。
运行名称冲突：如果你反复跑同一个脚本，Vivado会提示运行已存在。我的做法是在脚本里先删除旧的运行：delete_runs -quiet synth_static。
时序收敛：DPR的时序比普通设计更难收敛，因为可重构模块的路径要穿过静态区。我一般会在实现脚本里多跑几轮优化，用DIRECTIVE Explore来压榨工具的性能。

嗯，最后说一句：脚本写好了，一定要先在小的测试设计上跑通，再应用到正式项目。我曾经图省事，直接在大项目上跑新脚本，结果综合跑了8个小时后报错……那种感觉，你懂的。

好了，关于DPR的Tcl脚本自动化，核心就是这三步：综合、实现、比特流生成。把每一步的脚本写好、调试好，以后每次改设计，跑一遍主脚本就完事了。

📚 课程目录

一、Vivado DPR Tcl脚本自动化：从手动到自动的蜕变

1.1 自动化综合脚本

1.2 自动化实现脚本

1.3 自动化比特流生成脚本

1.4 避坑指南与个人经验