Использование рекурсивного присваивания внутри цикла for в Verilog

Question

Я пытаюсь реализовать в Verilog функцию оценки пригодности, которая называется функцией Розенброка (https://en.wikipedia.org/wiki/Rosenbrock_function). Проблема, с которой я столкнулся, заключается в том, что если я использую следующий код, он дает мне неопределенное состояние, поскольку к проводу подключено 4 драйвера fitness_val.

module test_module1 ( x, fitness);
    input   [4*2 -1:0]  x;  
    output  [1:0]   fitness;

    wire [1:0] x_i;
    wire [1:0] x_im1;
    wire [3:0] fitness_val;
    wire [3:0] a;
    wire [3:0] b;
    wire [1:0] x_array1 [3:0];
    
    genvar k;
        assign fitness = fitness_val;
        genvar j;
    
        generate
        for (j =0 ; j <4 ; j = j+1) begin
                assign x_array1[j] = x[2*j +: 2];
        end
                for (k=1; k<4; k=k+1) begin
                    assign x_i      = x_array1[k];
                    assign x_im1    = x_array1[k-1];
                    assign a = 100*(x_i[1:0] - x_im1[1:0])*(x_i[1:0] - x_im1[1:0]);
                    assign b = (1 - x_im1[1:0])*(1 - x_im1[1:0]);
                    assign fitness_val = fitness_val + a[2:1] + b[2:1];
            end
        endgenerate
endmodule

module tb_tm1();
  wire  [1:0]   fitness;
  wire [4*2-1:0] x_array;
  test_module1 tm1(x_array, fitness);
  assign x_array = 8'b11100100;
endmodule

Однако, если я разверну цикл for в этом формате, я получу правильный вывод.

assign fitness_val = 100*(x_array1[1] - x_array1[0])*(x_array1[1] - x_array1[0]) + (1 - x_array1[0])*(1 - x_array1[0]) 
+ 100*(x_array1[2] - x_array1[1])*(x_array1[2] - x_array1[1]) + (1 - x_array1[1])*(1 - x_array1[1])
+ 100*(x_array1[3] - x_array1[2])*(x_array1[3] - x_array1[2]) + (1 - x_array1[2])*(1 - x_array1[2]);

Есть ли способ реализовать это рекурсивно в Verilog?

Использование рекурсивного присваивания внутри цикла for в Verilog

Ответы (1)