Verilog-2001之generate语句的用法
Verilog-1995 支持通过以声明实例数组的形式对primitive和module进行复制结构建模。而在Verilog-2001里,新增加的generate语句拓展了这种用法(其思想来源于VHDL语言)。除了允许复制产生primitive和module的多个实例化,同时也可以复制产生多个net、reg、parameter、assign、always、initial、task、function。
在generate中引入了一种新的变量类型:genvar,用以在generate-for语句中声明一个正整数的索引变量(如果将“X”或“Z”或者“负值”赋给genvar 变量,将会出错)。genvar 变量可以声明在generate语句内,也可以声明在generate语句外。
generate语句有generate-for、genreate-if和generate-case三种语句;
generate-for语.
①generate-for语句必需用genvar关键字定义for的索引变量;
②for的内容必须用begin…end块包起来,哪怕只有一句;
③begin…end块必须起个名字;
例1:一个参数化的gray-code to binary-code 转换器;这里采用复制产生多个assign语句的形式来实现;
module gray2bin1 (bin, gray);
parameter SIZE = 8; // this module is parameterizable
output [SIZE-1:0] bin;
input [SIZE-1:0] gray;
genvar i;
generate
for(i=0; i
begin:bit
assign bin[i] = ^gray[SIZE-1:i];
end
endgenerate
endmodule
等同于下面的语句:
assign bin[0] = ^gray[SIZE-1:0];
assign bin[1] = ^gray[SIZE-1:1];
assign bin[2] = ^gray[SIZE-1:2];
assign bin[3] = ^gray[SIZE-1:3];
assign bin[4] = ^gray[SIZE-1:4];
assign bin[5] = ^gray[SIZE-1:5];
assign bin[6] = ^gray[SIZE-1:6];
assign bin[7] = ^gray[SIZE-1:7];
例2:还是例1的gray-code to binary-code 转换器;不过这里采用复制产生多个always语句的形式来实现;
module gray2bin2 (bin, gray);
parameter SIZE = 8; // this module is parameterizable
output [SIZE-1:0] bin;
input [SIZE-1:0] gray;
reg [SIZE-1:0] bin;
genvar i;
generate
for(i=0; i
begin:bit
always @(gray[SIZE-1:i]) // fixed part select
bin[i] = ^gray[SIZE-1:i];
end
endgenerate
endmodule
等同于下面的语句:
always @(gray[SIZE-1:0]) //fixed part select
bin[0] = ^gray[SIZE-1:0];
always @(gray[SIZE-1:1]) // fixed part select
bin[1] = ^gray[SIZE-1:1];
always @(gray[SIZE-1:2]) // fixed part select
bin[2] = ^gray[SIZE-1:2];
always @(gray[SIZE-1:3]) // fixed part select
bin[3] = ^gray[SIZE-1:3];
always @(gray[SIZE-1:4]) // fixed part select
bin[4] = ^gray[SIZE-1:4];
always @(gray[SIZE-1:5]) // fixed part select
bin[5] = ^gray[SIZE-1:5];
always @(gray[SIZE-1:6]) // fixed part select
bin[6] = ^gray[SIZE-1:6];
always @(gray[SIZE-1:7]) // fixed part select
bin[7] = ^gray[SIZE-1:7];
例3:一个行波进位加法器,在begin…end内部定义局部变量,并且在generate语句内定义genvar变量;
moduleaddergen1 (co, sum, a, b, ci);
parameter SIZE = 4;
output [SIZE-1:0] sum;
output co;
input [SIZE-1:0] a, b;
input ci;
wire [SIZE :0] c;
assign c[0] = ci;
generate
genvar i;
for(i=0; i
begin:bit
wiret1, t2, t3; // generated net declaration
xorg1 (t1, a[i], b[i]);
xorg2 (sum[i], t1, c[i]);
andg3 (t2, a[i], b[i]);
andg4 (t3, t1, c[i]);
org5 (c[i+1], t2, t3);
end
endgenerate
assign co = c[SIZE];
endmodule
等同于下面的语句:
wire bit[0].t1, bit[0].t2, bit[0].t3;
xor bit[0].g1 (bit[0].t1, a[0], b[0]);
xor bit[0].g2 (sum[0], bit[0].t1, c[0]);
and bit[0].g3 (bit[0].t2, a[0], b[0]);
and bit[0].g4 (bit[0].t3, bit[0].t1, c[0]);
or bit[0].g5 (c[0+1], bit[0].t2, bit[0].t3);
wire bit[1].t1, bit[1].t2, bit[1].t3;
xor bit[1].g1 (bit[1].t1, a[1], b[1]);
xor bit[1].g2 (sum[1], bit[1].t1, c[1]);
and bit[1].g3 (bit[1].t2, a[1], b[1]);
and bit[1].g4 (bit[1].t3, bit[1].t1, c[1]);
or bit[1].g5 (c[1+1], bit[1].t2, bit[1].t3);
wire bit[2].t1, bit[2].t2, bit[2].t3;
xor bit[2].g1 (bit[2].t1, a[2], b[2]);
xor bit[2].g2 (sum[2], bit[2].t1, c[2]);
and bit[2].g3 (bit[2].t2, a[2], b[2]);
and bit[2].g4 (bit[2].t3, bit[2].t1, c[2]);
or bit[2].g5 (c[2+1], bit[2].t2, bit[2].t3);
wire bit[3].t1, bit[3].t2, bit[3].t3;
xor bit[3].g1 (bit[3].t1, a[3], b[3]);
xor bit[3].g2 (sum[3], bit[3].t1, c[3]);
and bit[3].g3 (bit[3].t2, a[3], b[3]);
and bit[3].g4 (bit[3].t3, bit[3].t1, c[3]);
or bit[3].g5 (c[3+1], bit[3].t2, bit[3].t3);
这样,复制产生的实例名称为:
xor gates: bit[0].g1 bit[1].g1 bit[2].g1 bit[3].g1
bit[0].g2 bit[1].g2 bit[2].g2 bit[3].g2
and gates: bit[0].g3 bit[1].g3 bit[2].g3 bit[3].g3
bit[0].g4 bit[1].g4 bit[2].g4 bit[3].g4
or gates: bit[0].g5 bit[1].g5 bit[2].g5 bit[3].g5
复制产生的wire组为:
bit[0].t1 bit[1].t1 bit[2].t1 bit[3].t1
bit[0].t2 bit[1].t2 bit[2].t2 bit[3].t2
bit[0].t3 bit[1].t3 bit[2].t3 bit[3].t3
可见,给begin…end块命名的用途!
例4:一个行波进位加法器,使用外部定义的变量,这样就不会对外部变量做变动;
module addergen1 (co, sum, a, b, ci);
parameter SIZE = 4;
output [SIZE-1:0] sum;
output co;
input [SIZE-1:0] a, b;
input ci;
wire [SIZE :0] c;
wire [SIZE-1:0] t [1:3];
genvar i;
assign c[0] = ci;
generate
for(i=0; i
begin:bit
xorg1 ( t[1][i], a[i], b[i]);
xorg2 ( sum[i], t[1][i], c[i]);
andg3 ( t[2][i], a[i], b[i]);
andg4 ( t[3][i], t[1][i], c[i]);
org5 ( c[i+1], t[2][i], t[3][i]);
end
endgenerate
assign co = c[SIZE];
endmodule
这样,复制产生的实例名称为:
xor gates: bit[0].g1 bit[1].g1 bit[2].g1 bit[3].g1
bit[0].g2 bit[1].g2 bit[2].g2 bit[3].g2
and gates: bit[0].g3 bit[1].g3 bit[2].g3 bit[3].g3
bit[0].g4 bit[1].g4 bit[2].g4 bit[3].g4
or gates: bit[0].g5 bit[1].g5 bit[2].g5 bit[3].g5
而外部变量t与a,b,sum等一样,没有复制产生新的变量组
例5:多层generate语句所复制产生的实例命名方式;
parameterSIZE = 2;
genvari, j, k, m;
generate
for(i=0; i
begin:B1// scope B1[i]
M1 N1(); // instantiates B1[i].N1
for(j=0; j
begin:B2// scope B1[i].B2[j]
M2 N2(); // instantiates B1[i].B2[j].N2
for(k=0; k
begin:B3// scope B1[i].B2[j].B3[k]
M3 N3(); // instantiates B1[i].B2[j].B3[k].N3
end
end
if(i>0)
for(m=0; m
begin:B4// scope B1[i].B4[m]
M4 N4(); // instantiates B1[i].B4[m].N4
end
end
endgenerate
下面是复制产生的实例名称的几个例子:
B1[0].N1 B1[1].N1
B1[0].B2[0].N2 B1[0].B2[1].N2
B1[0].B2[0].B3[0].N3 B1[0].B2[0].B3[1].N3
B1[0].B2[1].B3[0].N3
B1[1].B4[0].N4 B1[1].B4[1].N4
generate-if语.
根据条件不同产生不同的实例化,即根据模块参数(.量)的条件是否满足来选择其中一段代码生成相应的电路,例如`ifdef …`elsif …`else …`endif;
例1:
module generate_if (a,b,c,y);
input a,b,c;
output y;
localparam SIZE = 12;// 参数常量
generate
if (SIZE < 8)
assign y = a & b & c;
else if (SIZE == 8)
assign y = a & b | c;
else
assign y = a | b | c;// 最后该语句生成电路;
endgenerate
endmodule
例2:
module multiplier(a,b,product);
parameter a_width = 8, b_width = 8;
localparam product_width = a_width+b_width;
// localparamcan not be modifieddirectly with thedefparamstatementor the module instance statement,它是内部使用的局部参数#
input[a_width-1:0] a;
input[b_width-1:0] b;
output[product_width-1:0] product;
generate
if((a_width < 8) || (b_width < 8))
CLA_multiplier #(a_width,b_width) u0(a, b, product);
// instantiate a CLA multiplier
else
WALLACE_multiplier #(a_width,b_width)u1(a,b,product);
// instantiate a Wallace-tree multiplier
endgenerate
// The generated instance name is u1
endmodule
注意:这里的条件都是常量条件,非常量条件不能综合;
generate-case语.
跟generate-if语句一样的用法,只是采用case语句的形式
例1:
generate
case(WIDTH)
1: adder_1bit x1(co, sum, a, b, ci);
// 1-bit adder implementation
2: adder_2bit x1(co, sum, a, b, ci);
// 2-bit adder implementation
default: adder_cla #(WIDTH) x1(co, sum, a, b, ci);
// others -carry look-ahead adder
endcase
// The generated instance name is x1
endgenerate