极客工场

Appearance

共 2,346 字预计阅读约 8 分钟

Verilator DEFPARAM 弃用告警：defparam 改实例化 #() 具名传参 ​

更新时间：2026-10-31。FAQ 速查页，属于 EDA 报错排查系列。Verilator DEFPARAM 弃用告警 指向一种旧式参数覆盖写法：模块已经实例化，另一条 defparam 语句再通过层级路径修改参数。参数本身没有错，需要改的是覆盖参数的表达方式。若层级名来自 generate 块，还应同时检查 Verilator GENUNNAMED 告警。

首屏答案：看到 %Warning-DEFPARAM，先记下 defparam 实例路径.参数名 = 值，再找到对应实例，把值移进实例名前的 #()，写成 #(.参数名(值))。例如 defparam u_adapter.WIDTH = 4; 应改为在 u_adapter 的实例化处写 #(.WIDTH(4))，随后删除原 defparam。不要仅关闭告警；层次覆盖仍能工作的现状，不代表这种写法适合继续维护。

本文要回答的问题 ​

  • DEFPARAM 告警定位的是参数值、实例，还是参数覆盖语句？
  • 为什么 defparam 能实现同样功能，却已经被弃用？
  • 怎样把层次参数覆盖等价地改为 #() 具名传参？
  • 多参数、数组实例和旧代码迁移时有哪些边界？
  • 如何用同一条 lint 命令确认修复没有引入新问题？

下面这张概念卡把问题拆成三部分：旧写法把实例与参数绑定拆在两个位置，新写法让二者在实例化处汇合，最后用相同检查确认参数值和电路结构都保持预期。它不是要求修改子模块的默认参数。

DEFPARAM 的修复核心：让参数绑定回到实例化现场

读这张图要抓住「绑定位置」这一条主线：u_adapter 是实例路径，应该留在端口连接部分；WIDTH 是被覆盖参数，应该进入模块名后的 #()。两者职责不同，不能误写成 u_adapter.WIDTH(4)，也不需要把子模块默认值从 8 永久改成 4。

一、报错原文与最小复现 ​

复现使用一个参数化透传模块。WIDTH 同时决定输入和输出位宽，因此它不是无关紧要的配置值，而是实例结构的一部分。顶层希望得到一个 4 位实例，却在实例化之后单独写了 defparam：

systemverilog
module defparam_bad (
  input  logic [3:0] data_in,
  output logic [3:0] data_out
);
  width_adapter u_adapter (
    .data_in  (data_in),
    .data_out (data_out)
  );

  defparam u_adapter.WIDTH = 4;
endmodule

子模块 width_adapter 的默认值是 parameter integer WIDTH = 8。执行 verilator --lint-only -Wall --top-module defparam_bad width_adapter.sv defparam_bad.sv 后，再对具名传参版本执行同等检查，真实结果如下。

DEFPARAM 最小复现与具名传参复跑

告警明确写出 defparam is deprecated (IEEE 1800-2017 C.4.1)，并建议使用实例化 #()。插入符落在等号附近，但根因是整条语句，不是数值 4。Exiting due to 1 warning(s) 与 bad_exit_code: 1 表明本次 -Wall 检查将告警提升为失败；修复版的零退出码则证明闭合并非来自换命令或关闭检查。

二、同样能改参数，为什么 defparam 被弃用 ​

普通实例化传参在被实例化模块名之后立即给出参数绑定，读者看声明就能知道该实例最终采用什么配置。defparam 则把绑定变成另一条带层级路径的赋值：实例在一处，覆盖在另一处，甚至可能在别的文件。工具可以沿路径找到目标，人却必须同时维护实例树和覆盖语句两套关系。

这种间接性在重构时尤其脆弱。实例改名、增加一层封装、调整 generate 层级后，端口连接仍可能完全合法，旧的 u_adapter.WIDTH 却不再指向原目标。参数又会影响位宽、存储深度、generate 分支等展开结果，所以失效不一定只是少一个配置，而可能改变整个实例结构。

对比维度defparam 层次覆盖实例化 #() 具名传参
参数绑定位置独立于实例化的另一语句与实例声明放在一起
目标表达方式依赖实例层级路径直接对当前实例传参
多参数可读性多条路径赋值，彼此分散.WIDTH(4)、.DEPTH(16) 集中列出
重构影响实例或层级改名需同步改路径实例改名不影响参数绑定
推荐用途维护受限的旧代码新代码与常规迁移

弃用不等于参数覆盖能力消失。SystemVerilog 保留了更直接的实例化传参机制，defparam 只是不再是推荐的表达入口。迁移的目标也不是让所有实例使用同一个值，而是把每个实例原有的覆盖意图准确地搬回声明处。

三、改为 #() 具名传参 ​

本例只需要移动 WIDTH=4，顶层端口、子模块和实例名都不变：

systemverilog
module defparam_fixed (
  input  logic [3:0] data_in,
  output logic [3:0] data_out
);
  width_adapter #(
    .WIDTH (4)
  ) u_adapter (
    .data_in  (data_in),
    .data_out (data_out)
  );
endmodule

#(.WIDTH(4)) 属于 width_adapter 的实例化参数列表，u_adapter 仍是实例名。原来的 defparam 必须删除，否则告警依旧存在，也会留下两处表达同一配置的冗余。这里选择具名而非 #(4)，是因为具名形式能直接看出 4 对应 WIDTH，子模块以后增加参数时也不必重排所有位置参数。

修复版的复跑摘录来自同一份原始记录：

exp-log
$ verilator --lint-only -Wall --top-module defparam_fixed width_adapter.sv defparam_fixed.sv
# fixed_exit_code: 0
PASS: DEFPARAM reproduced; named parameter override is clean

这次零告警说明语法与静态结构检查通过。对于参数还会改变功能行为的设计，lint 之后仍应复用原仿真或等价性检查，确认深度、位宽和功能配置与旧网表一致；不能把所有验证都压缩成「Verilator 不再报警」。

四、迁移时容易踩到的边界 ​

多个实例需要分别覆盖时，应在各自实例化处写各自的 #()，不要把一个集中式 defparam 块机械换成另一处集中配置。多个参数则放在同一对括号内，用逗号分隔，例如 #(.WIDTH(4), .DEPTH(16))。没有覆盖需求的参数继续保留默认值，无需全部列出。

generate 循环或实例数组中的写法要先确认旧语句究竟覆盖一个实例还是整组实例。能直接表达为每个生成实例共同参数时，把 #() 放到该实例化模板中；若不同索引使用不同值，应让参数表达式依赖 genvar，并核对展开后的每个实例。复杂情况下先画出层级和实例范围，再迁移，避免把单点覆盖扩大成整组覆盖。

还要区分 defparam 弃用与其他工具的参数问题。例如 Yosys 对某些 defparam 场景可能直接报不支持，处理入口可参考 Yosys defparam 不支持排查，但本文的 Verilator 告警并不是「参数不存在」或「参数类型不匹配」。只有确实无法立即改造的第三方旧代码，才考虑在最小范围内暂时关闭 DEFPARAM，并把具名传参迁移列为后续工作。

五、复跑与预防清单 ​

  • 从告警中完整抄出实例路径、参数名和值，在实例化处逐一对应，避免迁移到错误实例。
  • 新代码统一使用 #() 具名传参；单参数也具名，减少参数列表演进时的顺序依赖。
  • 删除旧 defparam，不要新旧写法同时保留；检查同层封装和 generate 内是否还有路径覆盖。
  • 对报错版和修复版保持相同源文件、顶层与 -Wall 选项，只改变参数绑定方式。
  • lint 通过后，按参数影响范围补跑功能仿真或等价性检查，尤其关注位宽、深度和生成分支。

实验环境 ​

  • 机器/系统：macOS 主机运行 Docker，容器为 Ubuntu 24.04.5 LTS。
  • 工具版本：Verilator 5.020 2024-01-01 rev (Debian 5.020-1)，镜像 geek-eda:0.2。
  • 日期：2026-10-31。
  • 完整命令：docker run --rm -v "$PWD:/work" -w /work geek-eda:0.2 bash run.sh；脚本以相同 lint 选项分别检查 defparam_bad 与 defparam_fixed，并记录两个退出码。

代码获取 ​

报错版、修复版、共用参数化模块与复跑脚本位于公开仓 https://github.com/derekzhuo/geek-doc.cn/tree/main/experiments/ts-verilator-warn-defparam。进入该目录后运行 bash run.sh，应先看到 DEFPARAM 与非零退出码，再看到具名传参版本的零退出码和最终 PASS。

这一篇在知识体系里的位置 ​

本篇处理 Verilator 对旧式层次参数覆盖的弃用提醒。generate 层级命名问题看 Verilator GENUNNAMED 告警，例程声明的隐式默认行为可对照 Verilator IMPLICITSTATIC 静态声明。这些检查共同点是把隐含、间接或难以维护的意图改成显式声明，再用真实复跑确认改造闭环。

总结 ​

Verilator DEFPARAM 弃用告警 的根因是使用 defparam 通过层级路径覆盖实例参数，而不是参数值本身错误。迁移时保留原参数和值，把绑定移到对应实例的 #() 中，优先写成 .WIDTH(4) 这样的具名形式，并删除旧语句。本文在 Verilator 5.020 上实测旧写法退出码为 1，改为实例化具名传参后同等检查退出码为 0，说明新写法既消除弃用告警，也让参数配置与实例声明重新集中在一处。