Verilog实现通用Wallace树乘法器遇语法错误求助

一、多维度连线警告（vlog-2417）解决 #

你遇到的Multiple packed dimensions are not allowed警告，本质是Verilog-2001及更早版本不支持多层packed数组，你当前的数组定义（如wire [size-1:0][(size-1)*2:0] wiresMultiplied;）属于多层packed维度，不符合旧标准语法。

修复方法：将多维度packed数组改为unpacked数组，调整维度书写顺序：

// 原错误写法（packed数组）
wire [size-1:0][(size-1)*2:0] wiresMultiplied;

// 修改后（unpacked数组，兼容Verilog-2001）
wire [(size-1)*2:0] wiresMultiplied [size-1:0];

所有出现该警告的数组都需要同步调整，比如intermediateWires：

// 原错误写法
wire [size+1:0][size+1:0][(size-1)*2:0] intermediateWires;

// 修改后
wire [(size-1)*2:0] intermediateWires [size+1:0][size+1:0];

二、generate循环中k赋值的语法错误（vlog-13069）解决 #

generate块是静态编译阶段执行的结构，不允许在其中对integer变量做动态赋值（如k = k + 2;），这类动态操作不符合generate的静态语义规则。

需要将动态变量累加转换为基于循环索引的静态计算：

修复后的generate代码 #

generate
    for(i = 0; i < size/3; i = i + 1)
    begin
        // 处理每3个输入，生成CSA模块
        for(j = i; j < size - (size%3); j = j + 3)
        begin
            // 用静态计算替代动态k的累加
            localparam k_base = 2 * ((j - i)/3);
            CSAlike #(2 * size) parallelAdder(
                intermediateWires[k_base][i+1], 
                intermediateWires[k_base+1][i+1], 
                intermediateWires[j][i], 
                intermediateWires[j+1][i], 
                intermediateWires[j+2][i]
            ); 
        end

        // 处理剩余的0/1/2条未分组连线
        for(l = size - (size%3); l < size; l = l + 1)
        begin
            localparam k_remain = 2 * ((size - (size%3) - i)/3) + (l - (size - (size%3)));
            assign intermediateWires[k_remain][i+1] = intermediateWires[l][i];
        end
    end
endgenerate

三、其他需修复的问题 #

1. 未定义的FA模块：CSAlike模块中调用了FA全加器单元，但代码中未定义该模块，需补充：

module FA(input a, b, cin, output sum, cout);
    assign sum = a ^ b ^ cin;
    assign cout = (a & b) | (b & cin) | (a & cin);
endmodule

2. 未声明的calling变量：addIntermedaiteWires模块中assign calling = intermediateWires[size+1][size+1];一行里，calling未声明，要么添加变量定义，要么直接删除该行。
3. Wallace树输出逻辑错误：当前assign Res = intermediateWires[size+1][size+1];的索引逻辑不符合Wallace树的输出规则，最终应该输出两个数（和与进位），需要调整intermediateWires的最终索引，确保取到树的最后两组结果。

内容的提问来源于stack exchange，提问作者abdo Salm