data/full_repos/permissive/143278/ivltests/readmemb2.v
1: b'%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/readmemb2.v:35: Bit extraction of array[7:0] requires 3 bit index, not 4 bits.\n                                                                         : ... In instance main\n       array[count] = 8\'h0;\n            ^\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/readmemb2.v:45: Bit extraction of array[7:0] requires 3 bit index, not 4 bits.\n                                                                         : ... In instance main\n                       array[count],count);\n                            ^\n%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/readmemb2.v:41: Operator NEQCASE expects 8 bits on the RHS, but RHS\'s VARREF \'count\' generates 4 bits.\n                                                                         : ... In instance main\n       if(array[count[2:0]] !== count)\n                            ^~~\n%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/readmemb2.v:53: Bit extraction of array[7:0] requires 3 bit index, not 4 bits.\n                                                                         : ... In instance main\n                       array[count]);\n                            ^\n%Error: Exiting due to 4 warning(s)\n'
module main ();

reg [7:0] array [0:7];
reg error ;
reg [3:0] count;

initial
  begin
    error = 0;


    for(count = 0; count <= 7; count = count + 1)
       array[count] = 8'h0;

    $readmemb("ivltests/readmemb2.dat",array);

    for(count = 0; count <= 3; count = count + 1)
     begin
       if(array[count[2:0]] !== count)
          begin
             error = 1;
             $display("FAILED - array[count] == %h, s/b %h",
                       array[count],count);
          end
     end

    if(array[4] !== 8'h0)
      begin
        error = 1;
        $display("FAILED - array[4] == %h, s/b 0",
                       array[count]);
      end

    if(error == 0)
           $display("PASSED\n");
    $finish ;
  end
endmodule
module main ();


reg [7:0] array [0:7];
reg error ;
reg [3:0] count;

initial
  begin
    error = 0;


    for(count = 0; count <= 7; count = count + 1)
       array[count] = 8'h0;

    $readmemb("ivltests/readmemb2.dat",array);

    for(count = 0; count <= 3; count = count + 1)
     begin
       if(array[count[2:0]] !== count)
          begin
             error = 1;
             $display("FAILED - array[count] == %h, s/b %h",
                       array[count],count);
          end
     end

    if(array[4] !== 8'h0)
      begin
        error = 1;
        $display("FAILED - array[4] == %h, s/b 0",
                       array[count]);
      end

    if(error == 0)
           $display("PASSED\n");
    $finish ;
  end
endmodule