data/full_repos/permissive/115837888/source-7400/74157-tb.v
 line:5: before: "tbassert"
1: b'%Error: data/full_repos/permissive/115837888/source-7400/74157-tb.v:5: Define or directive not defined: \'`TBASSERT_METHOD\'\n`TBASSERT_METHOD(tbassert)\n^~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/115837888/source-7400/74157-tb.v:5: syntax error, unexpected \'(\'\n`TBASSERT_METHOD(tbassert)\n                 ^~~~~~~~\n%Error: data/full_repos/permissive/115837888/source-7400/74157-tb.v:37: Unsupported or unknown PLI call: $dumpfile\n  $dumpfile("74157-tb.vcd");\n  ^~~~~~~~~\n%Error: data/full_repos/permissive/115837888/source-7400/74157-tb.v:38: Unsupported or unknown PLI call: $dumpvars\n  $dumpvars;\n  ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:47: Unsupported: Ignoring delay on this delayed statement.\n#6\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/74157-tb.v:49: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:52: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:54: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:57: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:59: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:62: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:64: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:67: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:69: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:75: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:77: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:80: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:82: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:85: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:87: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:90: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:92: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:99: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:101: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:108: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:110: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:116: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:118: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:124: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:126: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:128: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:130: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:136: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:138: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:140: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:142: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:146: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:148: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:154: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:156: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:164: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:170: Unsupported: Ignoring delay on this delayed statement.\n#2\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:172: Unsupported: Ignoring delay on this delayed statement.\n#3\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:174: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:183: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:188: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:190: Unsupported: Ignoring delay on this delayed statement.\n#2\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:192: Unsupported: Ignoring delay on this delayed statement.\n#3\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:194: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:202: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:207: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:209: Unsupported: Ignoring delay on this delayed statement.\n#2\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:211: Unsupported: Ignoring delay on this delayed statement.\n#3\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:213: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:221: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:223: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:228: Unsupported: Ignoring delay on this delayed statement.\n#2\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:230: Unsupported: Ignoring delay on this delayed statement.\n#3\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:232: Unsupported: Ignoring delay on this delayed statement.\n#0\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:239: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:241: Unsupported: Ignoring delay on this delayed statement.\n#6\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:246: Unsupported: Ignoring delay on this delayed statement.\n#2\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:248: Unsupported: Ignoring delay on this delayed statement.\n#3\n^\n%Warning-STMTDLY: data/full_repos/permissive/115837888/source-7400/74157-tb.v:250: Unsupported: Ignoring delay on this delayed statement.\n#10\n^\n%Error: Exiting due to 4 error(s), 60 warning(s)\n'
module test;

`TBASSERT_METHOD(tbassert)

localparam BLOCKS = 3;
localparam WIDTH_IN = 2;
localparam WIDTH_SELECT = $clog2(WIDTH_IN);



reg Enable_bar;
reg [WIDTH_SELECT-1:0] Select;
reg [BLOCKS*WIDTH_IN-1:0] A;


wire [BLOCKS-1:0] Y;


ttl_74157 #(.BLOCKS(BLOCKS), .WIDTH_IN(WIDTH_IN), .DELAY_RISE(5), .DELAY_FALL(3)) dut(
  .Enable_bar(Enable_bar),
  .Select(Select),
  .A_2D(A),
  .Y(Y)
);

localparam SELECT_A = 1'b0;
localparam SELECT_B = 1'b1;

initial
begin
  reg [WIDTH_IN-1:0] Block1;
  reg [WIDTH_IN-1:0] Block2;
  reg [WIDTH_IN-1:0] Block3;

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


  Enable_bar = 1'b0;
  Select = SELECT_A;
  Block1 = 2'b11;
  Block2 = 2'b11;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#6
  tbassert(Y == 3'b011, "Test 1");
#0

  Enable_bar = 1'b1;
#6
  tbassert(Y == 3'b000, "Test 2");
#0

  Select = SELECT_B;
#10
  tbassert(Y == 3'b000, "Test 3");
#0

  Enable_bar = 1'b0;
#10
  tbassert(Y == 3'b111, "Test 4");
#0

  Select = SELECT_A;
#10
  tbassert(Y == 3'b011, "Test 5");
#0

  Block1 = 2'b10;
  Block2 = 2'b01;
  Block3 = 2'b01;
  A = {Block3, Block2, Block1};
#10
  tbassert(Y == 3'b110, "Test 6");
#0

  Select = SELECT_B;
#10
  tbassert(Y == 3'b001, "Test 7");
#0

  Enable_bar = 1'b1;
#6
  tbassert(Y == 3'b000, "Test 8");
#0

  Select = SELECT_A;
#10
  tbassert(Y == 3'b000, "Test 9");
#0

  Enable_bar = 1'b0;
  Block1 = 2'b10;
  Block2 = 2'b00;
  Block3 = 2'b00;
  A = {Block3, Block2, Block1};
#10
  tbassert(Y == 3'b000, "Test 10");
#0

  Select = SELECT_B;
  Block1 = 2'b00;
  Block2 = 2'b01;
  Block3 = 2'b00;
  A = {Block3, Block2, Block1};
#10
  tbassert(Y == 3'b000, "Test 11");
#0

  Block1 = 2'b10;
  Block2 = 2'b11;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#6
  tbassert(Y == 3'b111, "Test 12");
#0

  Block1 = 2'b01;
  Block2 = 2'b10;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#6
  tbassert(Y == 3'b110, "Test 13");
#0
  Select = SELECT_A;
#6
  tbassert(Y == 3'b001, "Test 13");
#0

  Block1 = 2'b01;
  Block2 = 2'b11;
  Block3 = 2'b11;
  A = {Block3, Block2, Block1};
#6
  tbassert(Y == 3'b111, "Test 14");
#0
  Enable_bar = 1'b1;
#10
  tbassert(Y == 3'b000, "Test 14");
#0


  Enable_bar = 1'b0;
#6
  tbassert(Y == 3'b111, "Test 15");
#10
  Select = SELECT_B;
  Block1 = 2'b10;
  Block2 = 2'b10;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#10
  tbassert(Y == 3'b111, "Test 15");
#0

  Enable_bar = 1'b0;
  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Select = SELECT_A;
  Block1 = 2'b11;
  Block2 = 2'b01;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#2
  tbassert(Y === 3'bxxx, "Test 16");
#3
  tbassert(Y == 3'b011, "Test 16");
#0


  Enable_bar = 1'b0;
  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Block1 = 2'b11;
  Block2 = 2'b01;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#6
  Select = SELECT_A;
#2
  tbassert(Y === 3'bxxx, "Test 17");
#3
  tbassert(Y == 3'b011, "Test 17");
#0

  Enable_bar = 1'b0;
  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Block1 = 2'b10;
  Block2 = 2'b11;
  Block3 = 2'b11;
  A = {Block3, Block2, Block1};
#6
  Select = SELECT_B;
#2
  tbassert(Y === 3'bxxx, "Test 18");
#3
  tbassert(Y == 3'b111, "Test 18");
#0


  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Select = SELECT_B;
#6
  Block1 = 2'b11;
  Block2 = 2'b01;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#2
  tbassert(Y === 3'bxxx, "Test 19");
#3
  tbassert(Y == 3'b101, "Test 19");
#0

  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Select = SELECT_A;
#6
  Block1[0] = 1'b1;
  Block2[0] = 1'b1;
  Block3[0] = 1'b0;
  A = {Block3, Block2, Block1};
#2
  tbassert(Y === 3'bxxx, "Test 20");
#3
  tbassert(Y == 3'b011, "Test 20");
#10
  $finish;
end

endmodule
module test;


`TBASSERT_METHOD(tbassert)

localparam BLOCKS = 3;
localparam WIDTH_IN = 2;
localparam WIDTH_SELECT = $clog2(WIDTH_IN);



reg Enable_bar;
reg [WIDTH_SELECT-1:0] Select;
reg [BLOCKS*WIDTH_IN-1:0] A;


wire [BLOCKS-1:0] Y;


ttl_74157 #(.BLOCKS(BLOCKS), .WIDTH_IN(WIDTH_IN), .DELAY_RISE(5), .DELAY_FALL(3)) dut(
  .Enable_bar(Enable_bar),
  .Select(Select),
  .A_2D(A),
  .Y(Y)
);

localparam SELECT_A = 1'b0;
localparam SELECT_B = 1'b1;

initial
begin
  reg [WIDTH_IN-1:0] Block1;
  reg [WIDTH_IN-1:0] Block2;
  reg [WIDTH_IN-1:0] Block3;

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


  Enable_bar = 1'b0;
  Select = SELECT_A;
  Block1 = 2'b11;
  Block2 = 2'b11;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#6
  tbassert(Y == 3'b011, "Test 1");
#0

  Enable_bar = 1'b1;
#6
  tbassert(Y == 3'b000, "Test 2");
#0

  Select = SELECT_B;
#10
  tbassert(Y == 3'b000, "Test 3");
#0

  Enable_bar = 1'b0;
#10
  tbassert(Y == 3'b111, "Test 4");
#0

  Select = SELECT_A;
#10
  tbassert(Y == 3'b011, "Test 5");
#0

  Block1 = 2'b10;
  Block2 = 2'b01;
  Block3 = 2'b01;
  A = {Block3, Block2, Block1};
#10
  tbassert(Y == 3'b110, "Test 6");
#0

  Select = SELECT_B;
#10
  tbassert(Y == 3'b001, "Test 7");
#0

  Enable_bar = 1'b1;
#6
  tbassert(Y == 3'b000, "Test 8");
#0

  Select = SELECT_A;
#10
  tbassert(Y == 3'b000, "Test 9");
#0

  Enable_bar = 1'b0;
  Block1 = 2'b10;
  Block2 = 2'b00;
  Block3 = 2'b00;
  A = {Block3, Block2, Block1};
#10
  tbassert(Y == 3'b000, "Test 10");
#0

  Select = SELECT_B;
  Block1 = 2'b00;
  Block2 = 2'b01;
  Block3 = 2'b00;
  A = {Block3, Block2, Block1};
#10
  tbassert(Y == 3'b000, "Test 11");
#0

  Block1 = 2'b10;
  Block2 = 2'b11;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#6
  tbassert(Y == 3'b111, "Test 12");
#0

  Block1 = 2'b01;
  Block2 = 2'b10;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#6
  tbassert(Y == 3'b110, "Test 13");
#0
  Select = SELECT_A;
#6
  tbassert(Y == 3'b001, "Test 13");
#0

  Block1 = 2'b01;
  Block2 = 2'b11;
  Block3 = 2'b11;
  A = {Block3, Block2, Block1};
#6
  tbassert(Y == 3'b111, "Test 14");
#0
  Enable_bar = 1'b1;
#10
  tbassert(Y == 3'b000, "Test 14");
#0


  Enable_bar = 1'b0;
#6
  tbassert(Y == 3'b111, "Test 15");
#10
  Select = SELECT_B;
  Block1 = 2'b10;
  Block2 = 2'b10;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#10
  tbassert(Y == 3'b111, "Test 15");
#0

  Enable_bar = 1'b0;
  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Select = SELECT_A;
  Block1 = 2'b11;
  Block2 = 2'b01;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#2
  tbassert(Y === 3'bxxx, "Test 16");
#3
  tbassert(Y == 3'b011, "Test 16");
#0


  Enable_bar = 1'b0;
  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Block1 = 2'b11;
  Block2 = 2'b01;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#6
  Select = SELECT_A;
#2
  tbassert(Y === 3'bxxx, "Test 17");
#3
  tbassert(Y == 3'b011, "Test 17");
#0

  Enable_bar = 1'b0;
  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Block1 = 2'b10;
  Block2 = 2'b11;
  Block3 = 2'b11;
  A = {Block3, Block2, Block1};
#6
  Select = SELECT_B;
#2
  tbassert(Y === 3'bxxx, "Test 18");
#3
  tbassert(Y == 3'b111, "Test 18");
#0


  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Select = SELECT_B;
#6
  Block1 = 2'b11;
  Block2 = 2'b01;
  Block3 = 2'b10;
  A = {Block3, Block2, Block1};
#2
  tbassert(Y === 3'bxxx, "Test 19");
#3
  tbassert(Y == 3'b101, "Test 19");
#0

  Select = 1'bx;
  Block1 = {WIDTH_IN{1'bx}};
  Block2 = {WIDTH_IN{1'bx}};
  Block3 = {WIDTH_IN{1'bx}};
  A = {Block3, Block2, Block1};
#10
  Select = SELECT_A;
#6
  Block1[0] = 1'b1;
  Block2[0] = 1'b1;
  Block3[0] = 1'b0;
  A = {Block3, Block2, Block1};
#2
  tbassert(Y === 3'bxxx, "Test 20");
#3
  tbassert(Y == 3'b011, "Test 20");
#10
  $finish;
end

endmodule