parameter-passing - 在 Verilog 模块之间传递参数

Question

我对 Verilog 还很陌生，正在学习一些技巧。我有一些代码生成一个 8 位递增计数器(模块 counter.v)，然后由顶层模块(top_module.v)调用。有一个模拟测试夹具(test_fixture.v)调用顶层模块进行测试。

我试图使用参数 (parameter COUNTER_WIDTH) 定义计数器的宽度，但遇到了困难。一位同事为我修复了代码，它现在确实可以正常工作，但我想了解一些事情，以便了解实际情况。

这是计数器模块的代码:

module counter
#(parameter COUNTER_WIDTH = 8)
(
    input wire CLK,
    input wire RST,
    input wire CE,
    output reg[COUNTER_WIDTH-1:0] out = {COUNTER_WIDTH{1'b0}}
    );


   always @(posedge CLK) begin
      if (RST == 1) begin
         out <= {COUNTER_WIDTH{1'b0}};
      end else begin
      if (CE == 1) begin
         out <= out + 1'b1;
      end
    end
  end
endmodule

顶层模块:

module top_module
#(parameter COUNTER_WIDTH = 8)
(
    input wire CLK,
    input wire CE,
    input wire RST,
    output wire[COUNTER_WIDTH-1:0] out
    );

counter #(
    .COUNTER_WIDTH(COUNTER_WIDTH)
    )
counter_inst(
    .CLK(CLK),
    .RST(RST),
    .CE(CE),
    .out(out)
);

endmodule

和测试夹具:

module test_fixture();

parameter COUNTER_WIDTH = 8;

// inputs
reg CLK = 0;
reg RST = 0;
reg CE = 0;

// outputs
wire [COUNTER_WIDTH-1:0] Q;

// instance of top module to be tested
top_module #(
    .COUNTER_WIDTH(COUNTER_WIDTH)
) 

test_inst(
    .CLK(CLK),
    .RST(RST),
    .CE(CE),
    .out(Q)
);
endmodule

我认为我对 counter 模块没问题，但对顶级模块/测试夹具中发生的事情有疑问:

• 看起来参数 COUNTER_WIDTH 在每个模块中声明 (#(parameter COUNTER_WIDTH = 8))，然后“连接到”(如果表达式正确)另一个模块中的参数声明(例如 #(. COUNTER_WIDTH(COUNTER_WIDTH) )
• 这种理解正确吗？如果是这样，为什么我们必须在模块中声明参数并将其连接到另一个模块中的参数？

预先感谢您的帮助!

Answer 1

将参数视为一种特殊类型的常量输入，其值在编译时是固定的。最初，在 Verilog 中，参数是可以从模块外部覆盖的常量(使用现已弃用的 defparam 语句)。因此，Verilog 参数有两个作用:

1. 局部常量
2. 一种从外部定制模块的方法

然后，在 2001 版标准 (IEEE 1364-2001) 中，引入了您在下面使用的语法(所谓的“ANSI 样式”)。 IEEE 1364-2001 还引入了 localparam(它实现了这两个角色中的第一个，因为它们不能被外部覆盖)，因此留下参数来处理这两个角色中的第二个(自定义)。使用 ANSI 风格的语法，您可以在实例化模块时覆盖参数。您可以将参数与任何静态值关联，例如父模块的参数、localparam、genvar 或 literal(代码中的硬编码值)。

由于这种历史上的双重角色，在 Verilog 中你必须给参数一个默认值，即使它没有意义。 (并且在 SystemVerilog 中取消了此限制。)

给参数不同的名称和默认值是否有助于您的理解？

                //    the default value
                //          |
module counter  //          V
#(parameter COUNTER_WIDTH = 1)
(
    input wire CLK,
    input wire RST,
    input wire CE,
    output reg[COUNTER_WIDTH-1:0] out = {COUNTER_WIDTH{1'b0}}
    );


   always @(posedge CLK) begin
      if (RST == 1) begin
         out <= {COUNTER_WIDTH{1'b0}};
      end else begin
      if (CE == 1) begin
         out <= out + 1'b1;
      end
    end
  end
endmodule

然后，在顶层模块中，让我们给参数一个不同的名字:

                   //    the default value
                   //          |
module top_module  //          V
#(parameter COUNTER_NUM_BITS = 2)
(
    input wire CLK,
    input wire CE,
    input wire RST,
    output wire[COUNTER_NUM_BITS-1:0] out
    );

counter #(
    .COUNTER_WIDTH(COUNTER_NUM_BITS)
    )
counter_inst(
    .CLK(CLK),
    .RST(RST),
    .CE(CE),
    .out(out)
);

endmodule

再次在测试夹具中:

module test_fixture();

localparam COUNTER_SIZE = 8;   // This is not overridden from outside, so using
                               // a localparam would be better here.
                               // (A localparam being a kind of parameter that
                               //  cannot be overridden from outside. Normal 
                               //  languages would call it a constant.)    
// inputs
reg CLK = 0;
reg RST = 0;
reg CE = 0;

// outputs
wire [COUNTER_SIZE-1:0] Q;

// instance of top module to be tested
top_module #(
    .COUNTER_NUM_BITS(COUNTER_SIZE)
) 

test_inst(
    .CLK(CLK),
    .RST(RST),
    .CE(CE),
    .out(Q)
);
endmodule