data/full_repos/permissive/146246005/Carry Select Adder/ExhTB.v
None: at end of input
1: b'%Error: Cannot find file containing module: Select\n        ... Looked in:\n             data/full_repos/permissive/146246005/Carry/Select\n             data/full_repos/permissive/146246005/Carry/Select.v\n             data/full_repos/permissive/146246005/Carry/Select.sv\n             Select\n             Select.v\n             Select.sv\n             obj_dir/Select\n             obj_dir/Select.v\n             obj_dir/Select.sv\n%Error: Cannot find file containing module: Adder,data/full_repos/permissive/146246005\n%Error: Cannot find file containing module: data/full_repos/permissive/146246005/Carry\n%Error: Cannot find file containing module: Adder/ExhTB.v\n%Error: Exiting due to 4 error(s)\n'
module ExhTB();
  reg [5:0] A, B;
  wire [5:0] sum, outb;
  wire c6, coutb;
  reg  c0;
  integer i, j;
    Carry_Sel_Adder UUT(c6, sum, A, B, c0);
    BehavAdder(c0, A, B, coutb, outb);
    initial
    $monitorb ("A = %d  B = %d  Carryin = %b    Sum = %d  Carryout = %b    |||    SumBehav = %d  CarryoutBehav = %b", A, B, c0, sum, c6, outb, coutb);
    initial begin
    $vcdpluson;

    c0 = 0; A = 0; B = 0;
    for(i=0; i<64; i=i+1) begin 
      for(j=0; j<64; j=j+1) begin
        #10 B = B + 1'b1;

        if(A==0 && B==12) $monitoroff;
        else;

        if (sum!=outb | c6!=coutb) begin
          $display ("ERROR \n A = %d  B = %d  Carryin = %b    Sum = %d Carryout = %b  SumBehav = %d  CarryoutBehav = %b", A, B, c0, sum, c6, outb, coutb);
          $stop;
        end
        else;
      end
	#10 A = A + 1'b1; 	
	end
	

    c0 = 1'b1; A = 0; B = 0;
    for(i=0; i<64; i=i+1) begin 
      for(j=0; j<64; j=j+1) begin
        #10 B = B + 1'b1;

        if(A==63 && B==52) $monitoron;
        else;

        if (sum!=outb | c6!=coutb) begin
          $display ("ERROR \n A = %d  B = %d  Carryin = %b    Sum = %d Carryout = %b  SumBehav = %d  CarryoutBehav = %b", A, B, c0, sum, c6, outb, coutb);
        #80 $finish;
        end
        else;


    `ifdef no_force
    `else begin
      if(A==47 && B==19) $monitoron;
      else;
      if(A==47 && B==31) force outb=10;
      else;
           end
    `endif  
        
      end
	#10 A = A + 1'b1; 	
    end
    $display("Exhaustive test was successful with no errors.");  
    #10 $finish;  
    end
endmodule
module ExhTB();

  reg [5:0] A, B;
  wire [5:0] sum, outb;
  wire c6, coutb;
  reg  c0;
  integer i, j;
    Carry_Sel_Adder UUT(c6, sum, A, B, c0);
    BehavAdder(c0, A, B, coutb, outb);
    initial
    $monitorb ("A = %d  B = %d  Carryin = %b    Sum = %d  Carryout = %b    |||    SumBehav = %d  CarryoutBehav = %b", A, B, c0, sum, c6, outb, coutb);
    initial begin
    $vcdpluson;

    c0 = 0; A = 0; B = 0;
    for(i=0; i<64; i=i+1) begin 
      for(j=0; j<64; j=j+1) begin
        #10 B = B + 1'b1;

        if(A==0 && B==12) $monitoroff;
        else;

        if (sum!=outb | c6!=coutb) begin
          $display ("ERROR \n A = %d  B = %d  Carryin = %b    Sum = %d Carryout = %b  SumBehav = %d  CarryoutBehav = %b", A, B, c0, sum, c6, outb, coutb);
          $stop;
        end
        else;
      end
	#10 A = A + 1'b1; 	
	end
	

    c0 = 1'b1; A = 0; B = 0;
    for(i=0; i<64; i=i+1) begin 
      for(j=0; j<64; j=j+1) begin
        #10 B = B + 1'b1;

        if(A==63 && B==52) $monitoron;
        else;

        if (sum!=outb | c6!=coutb) begin
          $display ("ERROR \n A = %d  B = %d  Carryin = %b    Sum = %d Carryout = %b  SumBehav = %d  CarryoutBehav = %b", A, B, c0, sum, c6, outb, coutb);
        #80 $finish;
        end
        else;


    `ifdef no_force
    `else begin
      if(A==47 && B==19) $monitoron;
      else;
      if(A==47 && B==31) force outb=10;
      else;
           end
    `endif  
        
      end
	#10 A = A + 1'b1; 	
    end
    $display("Exhaustive test was successful with no errors.");  
    #10 $finish;  
    end
endmodule