Ошибка вычисления Verilog 8-битный вычитатель дополнения 1

#for-loop #if-statement #verilog #xor

#для цикла #if-оператор #verilog #xor

Вопрос:

Я пишу 8-битный вычитатель дополнения 1, который не использует операторы уровня слов, такие как или -.

Я считаю, что он работает (проверил его вручную на других значениях), но последняя часть задания заключается в том, чтобы тестовый стенд перебрал все возможные значения и сложил их вместе (256 * 256 или 65 536 возможных значений) (не все числа суммируются, чтобы получить очень большое число, но 0 1, 0 2, … 1 1, 1 2, и т.д.) и проверьте вычисленные значения с помощью моего другого модуля и выведите количество значений, которые правильно соответствуют вычитателю, и количество значений, которые неверны.

Я написал следующий код и не обнаружил ошибок компиляции, но он по-прежнему не отображает количество правильных или неправильных вычислений. Он показывает x для каждого числа на моем конце.

 module refonesub (
  output [7:0] subtractionresult ,
  output carryoverflow ,

  input    [7:0] A ,
  input    [7:0] B ,
  input mode 
  );

wire B0; 
wire B1; 
wire B2; 
wire B3; 
wire B4; 
wire B5; 
wire B6; 
wire B7; 

wire C0; 
wire C1; 
wire C2; 
wire C3;
wire C4; 
wire C5; 
wire C6; 
wire C7;  

xor(B0, B[0], mode);
xor(B1, B[1], mode);
xor(B2, B[2], mode);
xor(B3, B[3], mode);
xor(B4, B[4], mode);
xor(B5, B[5], mode);
xor(B6, B[6], mode);
xor(B7, B[7], mode);


onesub U0(A[0],B0,mode,C0,subtractionresult[0]);
onesub U1(A[1],B1,C0,C1,subtractionresult[1]);
onesub U2(A[2],B2,C1,C2,subtractionresult[2]);
onesub U3(A[3],B3,C2,C3,subtractionresult[3]);
onesub U4(A[4],B4,C3,C4,subtractionresult[4]);
onesub U5(A[5],B5,C4,C5,subtractionresult[5]);
onesub U6(A[6],B6,C5,C6,subtractionresult[6]);
onesub U7(A[7],B7,C6,C7,subtractionresult[7]);  

xor (carryoverflow,C6,C7);                

endmodule


module onesub ( A ,B ,Cin ,Cout ,S );

output Cout ;
output  S ;           


input A ;
wire A ;
input B ;
wire B ;
input Cin ;
wire Cin ;    

reg Cout;
reg S;

always @(A or B or Cin) begin
    case ({A,B,Cin})
     0: begin Cout=0; S=0; end
     1: begin Cout=0; S=1; end
     2: begin Cout=0; S=1; end      
     3: begin Cout=1; S=0; end
     4: begin Cout=0; S=1; end
     5: begin Cout=1; S=0; end
     6: begin Cout=1; S=0; end
     7: begin Cout=1; S=1; end
    endcase
    end
endmodule


module testbench;
   
   reg [7:0] A;
   reg [7:0] B;
   reg       mode;
   wire [7:0] subtractionresu<
   reg  [7:0] subtractionresult_expect;
   wire      carryoverflow;
   
   refonesub sub( 
                  .A(A),
                  .B(B),
                  .mode(mode),
                  .subtractionresult(subtractionresult),
                  .carryoverflow(carryoverflow) );

   
    integer    i, j;
    initial begin
        for (A = 0; i < 256; A = A   1) begin
            for (B = 0; B < 256; B = B   1) begin
                subtractionresult_expect = A B;
                if (subtractionresult == subtractionresult_expect) begin
                    i = i   1;
                end else begin
                    j = j   1;
                end
            end
        end
        $display("All cases tested; %d correct, %d failed", i, j);
   end

endmodule
  

Он печатает:

 All cases tested;           x correct,           x failed
  

Ответ №1:

Несколько ошибок в вашей тестовой среде.

Вам нужно инициализировать i и j (по умолчанию они равны x).

Вы, вероятно, хотели A < 255 , не i < 256 .

Вам нужно сверять с 255, а не с 256.

Я добавил #1 перед отображением, чтобы убедиться, что что-то напечатано

 initial begin
    i = 0;
    j = 0;
    for (A = 0; A < 255; A = A   1) begin
        for (B = 0; B < 255; B = B   1) begin
            subtractionresult_expect = A B;
            if (subtractionresult == subtractionresult_expect) begin
                i = i   1;
            end else begin
                j = j   1;
            end
        end
    end
    #1 $display("All cases tested; %d correct, %d failed", i, j);   
end
  

Я получаю другое отображение, но, вероятно, это не то, что вы хотели:

 All cases tested;           0 correct,       65025 failed