data/full_repos/permissive/115837888/source-7400/74283-tb.v
 line:5: before: "tbassert"
1: b'%Error: data/full_repos/permissive/115837888/source-7400/74283-tb.v:5: Define or directive not defined: \'`TBASSERT_METHOD\'\n`TBASSERT_METHOD(tbassert)\n^~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/115837888/source-7400/74283-tb.v:5: syntax error, unexpected \'(\'\n`TBASSERT_METHOD(tbassert)\n                 ^~~~~~~~\n%Error: data/full_repos/permissive/115837888/source-7400/74283-tb.v:6: Define or directive not defined: \'`TBASSERT_2R_METHOD\'\n`TBASSERT_2R_METHOD(tbassert2R)\n^~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/115837888/source-7400/74283-tb.v:7: Define or directive not defined: \'`CASE_TBASSERT_2R_METHOD\'\n`CASE_TBASSERT_2R_METHOD(case_tbassert2R, tbassert2R)\n^~~~~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/115837888/source-7400/74283-tb.v:33: Unsupported or unknown PLI call: $dumpfile\n  $dumpfile("74283-tb.vcd");\n  ^~~~~~~~~\n%Error: data/full_repos/permissive/115837888/source-7400/74283-tb.v:34: Unsupported or unknown PLI call: $dumpvars\n  $dumpvars;\n  ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:40: Unsupported: Ignoring delay on this delayed statement.\n#4\n^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:43: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:48: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:74: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:78: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:82: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:86: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:90: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:94: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:101: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:106: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:110: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:115: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:119: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:124: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:129: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:134: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:136: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:144: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:148: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:152: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:156: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:160: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:164: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:173: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:177: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:51: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:183: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:189: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:192: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:197: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:200: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:205: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:208: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:213: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:216: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:221: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:224: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:229: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:232: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:237: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:240: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:245: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:248: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:253: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:256: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:261: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:264: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:273: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:276: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:281: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:284: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:289: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:292: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:297: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74283-tb.v:300: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Error: Exiting due to 6 error(s), 56 warning(s)\n'
module test;

`TBASSERT_METHOD(tbassert)
`TBASSERT_2R_METHOD(tbassert2R)
`CASE_TBASSERT_2R_METHOD(case_tbassert2R, tbassert2R)

localparam WIDTH = 5;


reg [WIDTH-1:0] A;
reg [WIDTH-1:0] B;
reg C_in;


wire [WIDTH-1:0] Sum;
wire C_out;


ttl_74283 #(.WIDTH(WIDTH), .DELAY_RISE(5), .DELAY_FALL(3)) dut(
  .A(A),
  .B(B),
  .C_in(C_in),
  .Sum(Sum),
  .C_out(C_out)
);

initial
begin
  integer i;

  $dumpfile("74283-tb.vcd");
  $dumpvars;


  A = {WIDTH{1'b0}};
  B = {WIDTH{1'b0}};
  C_in = 1'b0;
#4
  tbassert(Sum == 5'b00000, "Test 1");
  tbassert(C_out == 1'b0, "Test 1");
#0

  A = {WIDTH{1'b1}};
  B = {WIDTH{1'b1}};
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b11111, "Test 2");
  tbassert(C_out == 1'b1, "Test 2");
#0



  for (i = 3; i <= 4; i++)
  begin
    case (i)
      3:
      begin
        C_in = 1'b0;
      end
      4:
      begin
        C_in = 1'b1;
      end
    endcase





    A = 5'b00001;
    B = 5'b00001;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00010, "Test", "1", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00011, "Test", "1", i);
    tbassert2R(C_out == 1'b0, "Test", "1", i);
#0


    B = 5'b00010;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00011, "Test", "2", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00100, "Test", "2", i);
    tbassert2R(C_out == 1'b0, "Test", "2", i);
#0

    A = 5'b00010;
    B = 5'b00001;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00011, "Test", "3", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00100, "Test", "3", i);
    tbassert2R(C_out == 1'b0, "Test", "3", i);
#0




    A = 5'b00000;
    B = 5'b11111;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11111, "Test", "4", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00000, "Test", "4", i);
    case_tbassert2R(C_in == 1'b0, C_out == 1'b0, "Test", "4", i);
    case_tbassert2R(C_in == 1'b1, C_out == 1'b1, "Test", "4", i);
#0

    A = 5'b11111;
    B = 5'b00000;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11111, "Test", "5", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00000, "Test", "5", i);
    case_tbassert2R(C_in == 1'b0, C_out == 1'b0, "Test", "5", i);
    case_tbassert2R(C_in == 1'b1, C_out == 1'b1, "Test", "5", i);
#0

    A = 5'b10000;
    B = 5'b01111;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11111, "Test", "6", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00000, "Test", "6", i);
    case_tbassert2R(C_in == 1'b0, C_out == 1'b0, "Test", "6", i);
    case_tbassert2R(C_in == 1'b1, C_out == 1'b1, "Test", "6", i);
#0

    A = 5'b01111;
    B = 5'b10000;
    C_in = ~C_in;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11111, "Test", "7", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00000, "Test", "7", i);
    case_tbassert2R(C_in == 1'b0, C_out == 1'b0, "Test", "7", i);
    case_tbassert2R(C_in == 1'b1, C_out == 1'b1, "Test", "7", i);
#0
    C_in = ~C_in;
#10





    A = 5'b10000;
    B = 5'b10000;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00000, "Test", "8", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00001, "Test", "8", i);
    tbassert2R(C_out == 1'b1, "Test", "8", i);
#0


    B = 5'b10010;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00010, "Test", "9", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00011, "Test", "9", i);
    tbassert2R(C_out == 1'b1, "Test", "9", i);
#0


    B = 5'b10001;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00001, "Test", "10", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00010, "Test", "10", i);
    tbassert2R(C_out == 1'b1, "Test", "10", i);
#0





    A = 5'b01111;
    B = 5'b01110;
    C_in = ~C_in;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11101, "Test", "11", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b11110, "Test", "11", i);
    tbassert2R(C_out == 1'b0, "Test", "11", i);
#0
    C_in = ~C_in;

  end


#0


  A = 5'b00010;
  B = 5'b00010;
  C_in = 1'b0;
#6
  tbassert(Sum == 5'b00100, "Test 5");
  tbassert(C_out == 1'b0, "Test 5");
#0



  C_in = 1'b1;
#6
  tbassert(Sum == 5'b00101, "Test 6");
  tbassert(C_out == 1'b0, "Test 6");
#0

  A = 5'b00011;
  B = 5'b00101;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b01001, "Test 7");
  tbassert(C_out == 1'b0, "Test 7");
#0

  A = 5'b01101;
  B = 5'b01101;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b11011, "Test 8");
  tbassert(C_out == 1'b0, "Test 8");
#0

  A = 5'b01101;
  B = 5'b10001;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b11111, "Test 9");
  tbassert(C_out == 1'b0, "Test 9");
#0

  A = 5'b10001;
  B = 5'b10001;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b00011, "Test 10");
  tbassert(C_out == 1'b1, "Test 10");
#0

  A = 5'b00111;
  B = 5'b11011;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b00011, "Test 11");
  tbassert(C_out == 1'b1, "Test 11");
#0

  A = 5'b10011;
  B = 5'b11111;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b10011, "Test 12");
  tbassert(C_out == 1'b1, "Test 12");
#0

  A = 5'b10111;
  B = 5'b11101;
  C_in = 1'b0;
#6
  tbassert(Sum == 5'b10100, "Test 13");
  tbassert(C_out == 1'b1, "Test 13");
#0



  C_in = 1'b1;
#6
  tbassert(Sum == 5'b10101, "Test 14");
  tbassert(C_out == 1'b1, "Test 14");
#0





  A = 5'b00011;
  B = 5'b00101;
  C_in = 1'b0;
#6
  tbassert(Sum == 5'b01000, "Test 15");
  tbassert(C_out == 1'b0, "Test 15");
#0

  A = 5'b00010;

  C_in = 1'b1;
#6
  tbassert(Sum == 5'b01000, "Test 16");
  tbassert(C_out == 1'b0, "Test 16");
#0

  A = 5'b10011;
  B = 5'b11101;
  C_in = 1'b0;
#6
  tbassert(Sum == 5'b10000, "Test 17");
  tbassert(C_out == 1'b1, "Test 17");
#0

  A = 5'b11101;
  B = 5'b10010;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b10000, "Test 18");
  tbassert(C_out == 1'b1, "Test 18");
#10
  $finish;
end

endmodule
module test;


`TBASSERT_METHOD(tbassert)
`TBASSERT_2R_METHOD(tbassert2R)
`CASE_TBASSERT_2R_METHOD(case_tbassert2R, tbassert2R)

localparam WIDTH = 5;


reg [WIDTH-1:0] A;
reg [WIDTH-1:0] B;
reg C_in;


wire [WIDTH-1:0] Sum;
wire C_out;


ttl_74283 #(.WIDTH(WIDTH), .DELAY_RISE(5), .DELAY_FALL(3)) dut(
  .A(A),
  .B(B),
  .C_in(C_in),
  .Sum(Sum),
  .C_out(C_out)
);

initial
begin
  integer i;

  $dumpfile("74283-tb.vcd");
  $dumpvars;


  A = {WIDTH{1'b0}};
  B = {WIDTH{1'b0}};
  C_in = 1'b0;
#4
  tbassert(Sum == 5'b00000, "Test 1");
  tbassert(C_out == 1'b0, "Test 1");
#0

  A = {WIDTH{1'b1}};
  B = {WIDTH{1'b1}};
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b11111, "Test 2");
  tbassert(C_out == 1'b1, "Test 2");
#0



  for (i = 3; i <= 4; i++)
  begin
    case (i)
      3:
      begin
        C_in = 1'b0;
      end
      4:
      begin
        C_in = 1'b1;
      end
    endcase





    A = 5'b00001;
    B = 5'b00001;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00010, "Test", "1", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00011, "Test", "1", i);
    tbassert2R(C_out == 1'b0, "Test", "1", i);
#0


    B = 5'b00010;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00011, "Test", "2", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00100, "Test", "2", i);
    tbassert2R(C_out == 1'b0, "Test", "2", i);
#0

    A = 5'b00010;
    B = 5'b00001;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00011, "Test", "3", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00100, "Test", "3", i);
    tbassert2R(C_out == 1'b0, "Test", "3", i);
#0




    A = 5'b00000;
    B = 5'b11111;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11111, "Test", "4", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00000, "Test", "4", i);
    case_tbassert2R(C_in == 1'b0, C_out == 1'b0, "Test", "4", i);
    case_tbassert2R(C_in == 1'b1, C_out == 1'b1, "Test", "4", i);
#0

    A = 5'b11111;
    B = 5'b00000;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11111, "Test", "5", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00000, "Test", "5", i);
    case_tbassert2R(C_in == 1'b0, C_out == 1'b0, "Test", "5", i);
    case_tbassert2R(C_in == 1'b1, C_out == 1'b1, "Test", "5", i);
#0

    A = 5'b10000;
    B = 5'b01111;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11111, "Test", "6", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00000, "Test", "6", i);
    case_tbassert2R(C_in == 1'b0, C_out == 1'b0, "Test", "6", i);
    case_tbassert2R(C_in == 1'b1, C_out == 1'b1, "Test", "6", i);
#0

    A = 5'b01111;
    B = 5'b10000;
    C_in = ~C_in;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11111, "Test", "7", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00000, "Test", "7", i);
    case_tbassert2R(C_in == 1'b0, C_out == 1'b0, "Test", "7", i);
    case_tbassert2R(C_in == 1'b1, C_out == 1'b1, "Test", "7", i);
#0
    C_in = ~C_in;
#10





    A = 5'b10000;
    B = 5'b10000;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00000, "Test", "8", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00001, "Test", "8", i);
    tbassert2R(C_out == 1'b1, "Test", "8", i);
#0


    B = 5'b10010;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00010, "Test", "9", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00011, "Test", "9", i);
    tbassert2R(C_out == 1'b1, "Test", "9", i);
#0


    B = 5'b10001;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b00001, "Test", "10", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b00010, "Test", "10", i);
    tbassert2R(C_out == 1'b1, "Test", "10", i);
#0





    A = 5'b01111;
    B = 5'b01110;
    C_in = ~C_in;
#10
    case_tbassert2R(C_in == 1'b0, Sum == 5'b11101, "Test", "11", i);
    case_tbassert2R(C_in == 1'b1, Sum == 5'b11110, "Test", "11", i);
    tbassert2R(C_out == 1'b0, "Test", "11", i);
#0
    C_in = ~C_in;

  end


#0


  A = 5'b00010;
  B = 5'b00010;
  C_in = 1'b0;
#6
  tbassert(Sum == 5'b00100, "Test 5");
  tbassert(C_out == 1'b0, "Test 5");
#0



  C_in = 1'b1;
#6
  tbassert(Sum == 5'b00101, "Test 6");
  tbassert(C_out == 1'b0, "Test 6");
#0

  A = 5'b00011;
  B = 5'b00101;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b01001, "Test 7");
  tbassert(C_out == 1'b0, "Test 7");
#0

  A = 5'b01101;
  B = 5'b01101;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b11011, "Test 8");
  tbassert(C_out == 1'b0, "Test 8");
#0

  A = 5'b01101;
  B = 5'b10001;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b11111, "Test 9");
  tbassert(C_out == 1'b0, "Test 9");
#0

  A = 5'b10001;
  B = 5'b10001;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b00011, "Test 10");
  tbassert(C_out == 1'b1, "Test 10");
#0

  A = 5'b00111;
  B = 5'b11011;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b00011, "Test 11");
  tbassert(C_out == 1'b1, "Test 11");
#0

  A = 5'b10011;
  B = 5'b11111;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b10011, "Test 12");
  tbassert(C_out == 1'b1, "Test 12");
#0

  A = 5'b10111;
  B = 5'b11101;
  C_in = 1'b0;
#6
  tbassert(Sum == 5'b10100, "Test 13");
  tbassert(C_out == 1'b1, "Test 13");
#0



  C_in = 1'b1;
#6
  tbassert(Sum == 5'b10101, "Test 14");
  tbassert(C_out == 1'b1, "Test 14");
#0





  A = 5'b00011;
  B = 5'b00101;
  C_in = 1'b0;
#6
  tbassert(Sum == 5'b01000, "Test 15");
  tbassert(C_out == 1'b0, "Test 15");
#0

  A = 5'b00010;

  C_in = 1'b1;
#6
  tbassert(Sum == 5'b01000, "Test 16");
  tbassert(C_out == 1'b0, "Test 16");
#0

  A = 5'b10011;
  B = 5'b11101;
  C_in = 1'b0;
#6
  tbassert(Sum == 5'b10000, "Test 17");
  tbassert(C_out == 1'b1, "Test 17");
#0

  A = 5'b11101;
  B = 5'b10010;
  C_in = 1'b1;
#6
  tbassert(Sum == 5'b10000, "Test 18");
  tbassert(C_out == 1'b1, "Test 18");
#10
  $finish;
end

endmodule