Yosys generate 作用域名：未命名块的 genblk 层级与显式标签
更新时间：2026-10-31。本文是开源 EDA 排错系列的 FAQ 速查页，总入口见 Yosys generate 作用域名排错中心。这里讨论的是 generate 块内部对象经过 Yosys 前端后叫什么名字，以及为什么依赖自动编号会让脚本和跨层级引用变脆弱。
本文要回答的问题
- 未命名 generate 块在 Yosys 0.33 中会得到什么作用域名？
- 没有显式标签时，Yosys 是否一定报告“未命名 generate”警告？
genblk1.local_a与decode_scope.local_a的差别在哪里？- 给 generate 块补标签后，怎样确认名称变化且电路仍可综合？
一、Yosys generate 作用域名不是一条固定告警
generate 用于在 elaboration（层次展开）阶段按条件或循环生成硬件。块中的线网、单元并不直接成为顶层公共成员，而是带上一层作用域前缀。未给块写标签时，工具需要自动补名；在本次 Yosys 0.33 实测中，这个名字是 genblk1，但日志里没有对应的 Warning:。
读这张图只需比较左右前缀：两个设计的电路连接相同，左侧自动名称来自工具编号，右侧稳定名称来自源码标签。它表达的是展开后的命名结果，不是说未命名块会多生成一级真实硬件，也不是说 Yosys 必须为此告警。
下面终端记录先列出自动版本的输出网表，再列出命名版本的选择结果。select -list 给出的名称带顶层模块上下文，write_verilog 则把带点号的名字写成转义标识符；两种显示形式指向同一个内部对象。
因此，如果你正在寻找一条固定的“Yosys generate 作用域名告警”，这个样例给出的答案是否定的。真正需要处理的是名称依赖：自动编号是否被脚本、约束或调试流程当成了长期接口。
二、最小复现：块内同时放线网和子模块实例
自动版本包含一个恒真的条件 generate 块。块内 local_a 接收顶层输入，u_leaf 是反相器子模块实例。恒真条件让样例保持短小，也确保 elaboration 后一定能观察到这两个对象。
module auto_top(
input wire a,
output wire y
);
generate
if (1) begin
wire local_a;
assign local_a = a;
leaf u_leaf (
.a(local_a),
.y(y)
);
end
endgenerate
endmodule这里省略的 leaf 只执行 assign y = ~a;。运行 read_verilog -sv auto.v 后接上 hierarchy -check -top auto_top 和 proc，再执行名称选择，可以看到 auto_top/genblk1.local_a 与 auto_top/genblk1.u_leaf。前缀不是输入文件里写出的名字，而是前端为无名块补出的作用域。
不要在业务源码里反过来依赖这个编号。增加另一个无名块、调整条件分支或更换工具版本后，编号及其分配顺序都不适合作为跨文件契约。需要稳定引用时，应在源码中命名，而不是事后记住某次输出里的 genblk1。
三、显式标签只改作用域名，不改生成逻辑
对照版唯一关键变化是在 begin 后添加 : decode_scope。标签采用能表达用途的名字，比单纯把 genblk1 抄进脚本更可读，也让后续维护者知道这一层为什么存在。
generate
- if (1) begin
+ if (1) begin : decode_scope
wire local_a;
assign local_a = a;
leaf u_leaf (两种写法在 Yosys 中的观察结果可以整理为一张对照表。表中的“告警数”只统计本次完整命令输出里的 Warning:，不外推到其他工具或其他 generate 形式。
| 对照项 | 未命名块 | 显式标签块 |
|---|---|---|
| 块内局部线网 | genblk1.local_a | decode_scope.local_a |
| 块内子模块实例 | genblk1.u_leaf | decode_scope.u_leaf |
write_verilog 前缀 | \genblk1. | \decode_scope. |
本次 Warning: 数量 | 0 | 0 |
| 综合结果 | 通过，1 个 $_NOT_ | 通过，1 个 $_NOT_ |
write_verilog 输出里的反斜杠是转义标识符写法，用来容纳普通标识符不允许直接包含的点号，并不是要求你在原 Verilog 的 begin 标签前加反斜杠。标签本身仍写 decode_scope；反斜杠只出现在生成网表的名称表达中。
四、复跑证据：名称按标签变化，两个版本都能综合
命名版的原始输出清楚列出了 decode_scope.local_a 和 decode_scope.u_leaf。随后生成的网表使用相同前缀，告警计数仍为 0。结尾的成功汇总来自脚本在两个名称断言和完整综合都通过之后打印的结果。
-- generated scope names in write_verilog output --
wire \decode_scope.local_a ;
leaf \decode_scope.u_leaf (
.a(\decode_scope.local_a ),
assign \decode_scope.local_a = a;
named_warning_count=0
result=auto genblk1 and named decode_scope observed; both synth passed with zero warnings综合统计中的 1 个 $_NOT_ 对应 leaf 里的反相逻辑。它说明这次改动没有让设计停在前端或层次处理阶段，但不能单独证明任意大型设计改写标签后功能等价。工程实践仍应复跑原有仿真、形式检查及依赖层次路径的约束。
这组命令的顺序也有用意。hierarchy -check 先确定顶层并检查层次，proc 再完成过程转换；名称选择安排在 synth 之前，因此还能看到 u_leaf 这个源级实例。write_verilog 同样在综合前执行，保留了带作用域的线网和单元名。若先做强优化或扁平化，局部对象可能被合并、内联或删除，那时再搜索旧路径，就不能简单地把“找不到”解释为标签写错。排查名称问题应保存展开早期的一份输出，再与最终网表分阶段比较。
还要注意两种“引用”不是一回事：Yosys 展开后的内部名称可供选择、检查和网表分析使用；源级跨层级引用则受语言规则和工具支持范围约束。看到 genblk1.local_a 可被选出来，并不意味着应该在新源码里手写这个自动名字。
五、什么时候必须补名，什么时候可以不动
如果 generate 块只包裹一段局部组合逻辑，没有任何脚本、断言、约束或调试流程引用其内部对象，未命名并不妨碍本次 Yosys 综合。为了消除一条并不存在的告警而批量改代码，没有收益。
| 使用场景 | 建议 | 原因 |
|---|---|---|
| 层次路径进入约束或调试配置 | 显式命名 | 避免自动编号成为外部依赖 |
| 需要在 Yosys 中稳定选择块内对象 | 显式命名 | 名称能直接对应源码意图 |
| 多个条件或循环 generate 块 | 逐块命名 | 便于区分同名局部对象 |
| 完全局部且无人引用的生成逻辑 | 可以保持原样 | 本次实测可综合且无告警 |
循环 generate 还要区分“块标签”和“循环下标”：标签提供稳定作用域，下标区分各次展开。不要用几十个语义相同但手工编号的标签代替生成下标，也不要只给最外层命名后假设所有内部对象都有唯一短名。
工程里可以把标签当作路径的一部分来评审：名称应说明该分支的用途，例如 decode_scope、fifo_storage，避免 tmp、block1 这类换个人就无法理解的占位词。重命名标签与重命名普通变量不同，外部约束和调试脚本可能引用完整路径，修改时要同步搜索这些消费者。若暂时无法修改源码，可以先用通配选择定位对象，但应把自动名称视为当前输入的观测结果，而不是跨版本保证。
代码获取
本文自动命名与显式命名对照、运行脚本已整理到公开仓：https://github.com/derekzhuo/geek-doc.cn/tree/main/experiments/ts-yosys-generate-scope-name。进入该目录执行 bash run.sh，脚本会检查两种作用域名称、告警计数，并分别执行完整综合。
实验环境
- 机器/系统：Mac / macOS（Darwin 25.5.0，x86_64），Docker 容器运行
- 工具版本：Yosys 0.33 (git sha1 2584903a060)，镜像
geek-eda:0.2 - 日期：2026-10-31
- 完整命令：
bash run.sh；脚本对两个输入依次执行read_verilog -sv、hierarchy -check、proc、select -list、write_verilog -noattr、synth和stat
这一篇在知识体系里的位置
本篇属于开源 EDA 排错簇的“Verilog 层次展开与命名”节点，重点是 Yosys generate 作用域名的可观察结果，而不是虚构一条未命名块警告。其他 SystemVerilog 前端问题可回到 Yosys generate 作用域名排错中心 分流；接口声明的解析边界见 Yosys interface 语法不支持：modport 报错与普通端口绕道路线。
总结
Yosys generate 作用域名在 Yosys 0.33 本次对照中表现为：未命名块内的 local_a 与 u_leaf 自动获得 genblk1 前缀，添加 begin : decode_scope 后改为 decode_scope 前缀。两种输入的 Warning: 计数都为 0，且均完成综合并生成 1 个 $_NOT_。因此，补标签的目的应是稳定层次引用和提高可读性，而不是修复一个必然存在的告警；自动 genblk 编号不宜成为脚本或源码的长期依赖。