6.1 generate：让结构跟着参数走

6.1 generate：让结构跟着参数走

本节摘要：generate 语句在编译期按参数批量生成硬件结构：for 循环铺阵列、if 与 case 做条件选型。它是参数化设计从「改代码」升级为「改配置」的关键设施，也是 IP 复用的语法基础。

惯犯档案从规模复杂度开审。几十份结构相同的电路，手写既慢又必然抄错一处——generate 生成语句就是为「批量生成结构」而生的设施。与第 3 章的 for 循环不同，generate 的循环体不只是语句，还可以是完整的模块实例化与网线声明：它生成的不是执行步骤，是电路本身。

genvar 循环：铺阵列

module ripple_adder #(
    parameter WIDTH = 8
)(
    input  wire [WIDTH-1:0] a, b,
    input  wire             cin,
    output wire [WIDTH-1:0] sum,
    output wire             cout
);
    wire [WIDTH:0] c;               // 进位链：c 的第 0 位是进位输入

    assign c[0] = cin;

    genvar i;
    generate
        for (i = 0; i < WIDTH; i = i + 1) begin : bit_slice
            assign sum[i] = a[i] ^ b[i] ^ c[i];
            assign c[i+1] = (a[i] & b[i]) | (c[i] & (a[i] ^ b[i]));
        end
    endgenerate

    assign cout = c[WIDTH];
endmodule
​

三个语法要点。其一，循环变量必须是 genvar 类型，且循环边界必须由常量或 parameter 构成——工具要在编译期数清楚生成多少份。其二，begin 后面的 : bit_slice 是生成块命名，它不是装饰：每个生成的实例在层次里按「块名加方括号索引」命名，波形窗口与网表里靠这个名字定位。其三，循环体内可以有 wire 声明，每份实例各有自己的声明副本。

这份行波加法器还有一个隐形教学点：进位链逐位依赖，位与位串联——综合器看到这种参数化结构，通常会把它重构成更快的超前进位或选择进位形态。generate 只负责把结构写清楚，优化是综合器的职权。

条件生成：按配置选结构

generate if 与 generate case 让同一份代码按参数「长成」不同电路：

module reg_file #(
    parameter DEPTH_BITS = 4,
    parameter SYNC_READ  = 0      // 配置项：读端口是否同步
)(
    input  wire                   clk,
    input  wire                   we,
    input  wire [DEPTH_BITS-1:0]  waddr, raddr,
    input  wire [31:0]            wdata,
    output wire [31:0]            rdata
);
    reg [31:0] mem [0:(1<<DEPTH_BITS)-1];

    always @(posedge clk) begin
        if (we) mem[waddr] <= wdata;
    end

    generate
        if (SYNC_READ) begin : g_sync
            reg [31:0] rdata_q;
            always @(posedge clk) rdata_q <= mem[raddr];
            assign rdata = rdata_q;           // 同步读：读端口打一拍
        end else begin : g_async
            assign rdata = mem[raddr];        // 异步读：组合读出
        end
    endgenerate
endmodule
​

两份配置生成两套完全不同的读端口电路，接口却一字不差——这正是 IP 复用的核心诉求：调用方只认接口，配置决定内部形态。generate case 用法类似，适合三选一以上的配置分支。

案例展开：寄存器堆改位宽引发的参数化改造。 背景：某项目的寄存器堆最初写死三十二项、每项三十二位；新配置需求要求六十四项、每项十六位。操作：第一步把数量与位宽提为 parameter，扫描所有写死的常量——地址位宽改成按参数推导、复位清零改用复制拼接；第二步把「同步读与异步读」的实现差异抽成 generate if，由配置项决定；第三步对两套配置分别跑综合与仿真回归，核对层次名与面积报告。结果：一份代码覆盖两代配置，后续第三次改配置只改了两个数字。解读：改造的成本大头不在加 parameter 关键字，而在「找出所有隐式依赖写死常量的地方」——地址位宽、复位值、边界判断都是重灾区；判断一份代码是否真参数化的标准，是改参数后不修一行就能过综合与回归。变式：参数之间有约束（比如深度必须为二的幂）时，用综合期检查或仿真断言把违规配置拦在编译期，约束越早报错越好。

defparam 的退场与参数传递的规范

参数覆盖有两条路：实例化时按名覆盖（正路），或 defparam 语句隔空改（已被标准标记为不推荐，第 2 章提过它的风险）。团队规范应当明写：只用实例化覆盖。原因除了可移植性，还有可读性——实例化处的参数表就是该实例的「配置清单」，评审时一眼看全；defparam 则把配置散落在任意角落。

参数化还有一条美学纪律：parameter 数量收敛。超过五六个配置项的模块，往往意味着职责过多——配置项的组合爆炸会让测试矩阵失控（每种配置都要回归），此时该考虑拆模块而不是加参数。

生成语句的两点补充

generate 与函数的区别怎么把握

两者都是「编译期展开」，差别在展开的产物：函数展开成表达式与组合网，生成语句展开成结构——实例、网线、完整的过程块。需要复用「计算」时用函数，需要复用「结构」时用生成语句。混用也常见：生成循环里每个切片调用同一个函数，批量结构与共享计算各得其所。

参数化设计的验证成本怎么控制

参数化把设计变成配置族，验证对象也随之变成配置族——这是参数化的隐性账单。控制手段有三：把配置空间收敛到实际要交付的组合，不为「理论上可以」的配置买单；让验证代码同样参数化，一套用例矩阵自动适配各配置；对关键配置做全回归，边缘配置做冒烟。参数越多，这条账越要提前算——这也是「parameter 收敛」纪律的验证侧理由。

本节要点回顾

• generate 生成的是电路：编译期展开，与运行期循环那个「重复执行」划清界限；
• genvar 加常量边界：工具数得清才生成得了，begin 后必须命名生成块；
• 条件生成做选型：generate if 与 case 让一份代码按配置长成不同电路；
• 层次名是排错坐标：生成块的实例名带索引，波形与网表靠它定位；
• 参数化改造的难点：清剿隐式依赖写死常量的角落，标准是改参数不修代码；
• parameter 收敛：配置项过多意味着职责过多，先拆模块再谈参数。

规模复杂度有了工具。下一节审控制复杂度的通用形态：有限状态机。