Проблема с 8-битным Carry Lookahead Adder в Verilog - PullRequest
0 голосов
/ 22 мая 2018

enter image description here Я новичок в программировании Verilog.Я пытаюсь собрать 8-битный Carry Lookahead Adder как шаг к созданию 64-битного CLA.В основном, как я это реализовал, я использую 2 4-битных "блока" CLA для создания 8-битного CLA.Я предоставлю свой код, а затем объясню возникшую проблему.

Код ниже:

// 4-BIT CLA CODE
module CLA4Bit(A, B, carryIn, carryOut, PG, GG, Sum);
    input[3:0] A, B;
    input carryIn;
    output carryOut;

    output PG;
    output GG;

    output[3:0] Sum;

    wire[3:0] G, P, C;

    assign G = A & B;
    assign P = A ^ B;
    assign Sum = P ^ C;

    assign C[0] = carryIn;

    assign C[1] = G[0] | (P[0] & C[0]);
    assign C[2] = G[1] | (P[1] & G[0]) | (P[1] & P[0] & C[0]);
    assign C[3] = G[2] | (P[2] & G[1]) | (P[2] & P[1] & G[0]) | (P[2] & P[1] & P[0] & C[0]);

    assign PG = P[3] & P[2] & P[1] & P[0];
    assign GG = G[3] | (P[3] & G[2]) | (P[3] & P[2] & G[1]) | (P[3] & P[2] & P[1] & G[0]);
endmodule

// 8-BIT CLA CODE BELOW
module CLA8Bit(A, B, carryIn, carryOut, Sum);

    // 8-bit wire for the inputs A and B
    input[7:0] A, B;

    // Wire for the ORIGINAL carry-in
    input carryIn;

    // Wire for the carryOut
    output carryOut;

    // Wire that carries the Sum of this CLA
    output[7:0] Sum;

    // Wires for the propagate of the first 4-bit block (p3)
    // and the second (p7)
    wire p3, p7;

    // Wires for the generate of the first 4-bit block (g3)
    // and the second (g7)
    wire g3, g7;

    // Wires for the carry of the first block (c3) and the
    // second (c7)
    wire c3, c7;

    // The two 4-bit CLA blocks that make up the 8-bit CLA

    CLA4Bit block1(A[3:0], B[3:0], carryIn, c3, p3, g3, Sum[3:0]);

    CLA4Bit block2(A[7:4], B[7:4], c3, c7, p7, g7, Sum[7:4]);
endmodule

Я написал базовый тестовый стенд для тестирования своего кода:

module CLA_TB();

// TEST THE 8-BIT CLA

    // Inputs
    reg[7:0] A;
    reg[7:0] B;
    reg carryIn;

    // Outputs
    wire carryOut;
    wire[7:0] Sum;
    wire PG;
    wire GG;

    // Instantiate the 8-bit CLA
    CLA8Bit CLA8BitDUT (
    .A(A),
    .B(B),
    .carryIn(carryIn),
    .carryOut(carryOut),
    .Sum(Sum)
    );

    // Initialize the testbench signals
    initial
        begin

        // Start with the carryIn set to 0
        assign carryIn = 0;

        // The standard first test. Set
        // A = b0000 0001 and B = b0000 0001
        // Answer should be Sum = b0000 0010
        assign A = 8'b00000001;
        assign B = 8'b00000001;

        #20

        // Next, set A = b0001 1011 and
        // B = b1101 0111. Answer should
        // be Sum = b1111 0010 = hF2.
        assign A = 8'b00011011;
        assign B = 8'b11010111;

        #20

        // Finally, try setting the carryIn
        // to 1 and then test A = b0111 1011
        // and B = b1101 0011. Answer should be
        // Sum = 0100 1111 w/ overflow carry
        assign carryIn = 1'b1;
        assign A = 8'b01111011;
        assign B = 8'b11010011;

        #20

        $finish;

        end

endmodule

Так что проблема в моих симуляциях тестового стенда (яиспользуйте ModelSim), первые 4 бита суммы (которые соответствуют первому 4-битному экземпляру CLA в 8-битном модуле CLA) задаются как X на странице Wave.Вторые 4 бита добавляются просто отлично.

Проведя некоторое исследование, я обнаружил, что X отображаются в Verilog, когда в проводе имеется более одного драйвера (источник сигнала?).Однако я не вижу места, где бы я отправлял более одного сигнала в мой первый 4-битный экземпляр CLA в 8-битном модуле CLA.Кроме того, если что-то подобное было причиной, то я не знаю, почему этого не произойдет и со вторым набором из 4 битов, поскольку оба 4-битных CLA настроены очень похоже.

Почему это происходит?

1 Ответ

0 голосов
/ 22 мая 2018

X отображаются в Verilog, когда в проводе имеется более одного драйвера

Это правда, но это только часть истории.Существуют и другие случаи, которые производят X'es:

  • Если reg не задано значение, оно будет X.
  • Если Z используется в выражении, он выдастX.

Ваша форма волны имеет несколько очевидных 'Z' (синих) линий на одной.
Если вы следите за сигналами туда, откуда они исходят: ваш 4-битныйadder никогда не присваивает значение carryOut.
Тогда вы делаете ту же ошибку в CLA8Bit.

Если вы видите «Z» в симуляции: прыгайте на нее!99,9% времени у вас есть провод, которому не было присвоено значение!

...