data/full_repos/permissive/17116976/src/tb/tb_sha512.v
 line:319: before: "("
1: b'%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:175: Unsupported: Ignoring delay on this delayed statement.\n      #CLK_HALF_PERIOD tb_clk = !tb_clk;\n      ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:187: Unsupported: Ignoring delay on this delayed statement.\n      #(2 * CLK_HALF_PERIOD);\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:254: Unsupported: Ignoring delay on this delayed statement.\n      #(4 * CLK_HALF_PERIOD);\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:343: Unsupported: Ignoring delay on this delayed statement.\n      #(2 * CLK_HALF_PERIOD);\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:405: Unsupported: Ignoring delay on this delayed statement.\n      #(CLK_PERIOD);\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:557: Unsupported: Ignoring delay on this delayed statement.\n      #(CLK_PERIOD);\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:610: Unsupported: Ignoring delay on this delayed statement.\n      #(CLK_PERIOD);\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:629: Unsupported: Ignoring delay on this delayed statement.\n      #(CLK_PERIOD);\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:682: Unsupported: Ignoring delay on this delayed statement.\n      #(CLK_PERIOD);\n      ^\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:203: Can\'t find definition of \'cs\' in dotted variable: \'dut.cs\'\n               dut.cs, dut.we);\n                   ^~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:203: Can\'t find definition of \'we\' in dotted variable: \'dut.we\'\n               dut.cs, dut.we);\n                           ^~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:204: Can\'t find definition of \'address\' in dotted variable: \'dut.address\'\n      $display("address = 0x%02x", dut.address);\n                                       ^~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:206: Can\'t find definition of \'write_data\' in dotted variable: \'dut.write_data\'\n               dut.write_data, dut.read_data);\n                   ^~~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:206: Can\'t find definition of \'read_data\' in dotted variable: \'dut.read_data\'\n               dut.write_data, dut.read_data);\n                                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:207: Can\'t find definition of \'tmp_read_data\' in dotted variable: \'dut.tmp_read_data\'\n      $display("tmp_read_data = 0x%08x", dut.tmp_read_data);\n                                             ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:212: Can\'t find definition of \'next_reg\' in dotted variable: \'dut.next_reg\'\n               {dut.next_reg, dut.init_reg},\n                    ^~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:212: Can\'t find definition of \'init_reg\' in dotted variable: \'dut.init_reg\'\n               {dut.next_reg, dut.init_reg},\n                                  ^~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:213: Can\'t find definition of \'digest_valid_reg\' in dotted variable: \'dut.digest_valid_reg\'\n               {dut.digest_valid_reg, dut.ready_reg});\n                    ^~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:213: Can\'t find definition of \'ready_reg\' in dotted variable: \'dut.ready_reg\'\n               {dut.digest_valid_reg, dut.ready_reg});\n                                          ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:218: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[00], dut.block_reg[01], dut.block_reg[02], dut.block_reg[03]);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:218: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[00], dut.block_reg[01], dut.block_reg[02], dut.block_reg[03]);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:218: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[00], dut.block_reg[01], dut.block_reg[02], dut.block_reg[03]);\n                                                         ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:218: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[00], dut.block_reg[01], dut.block_reg[02], dut.block_reg[03]);\n                                                                            ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:220: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[04], dut.block_reg[05], dut.block_reg[06], dut.block_reg[07]);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:220: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[04], dut.block_reg[05], dut.block_reg[06], dut.block_reg[07]);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:220: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[04], dut.block_reg[05], dut.block_reg[06], dut.block_reg[07]);\n                                                         ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:220: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[04], dut.block_reg[05], dut.block_reg[06], dut.block_reg[07]);\n                                                                            ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:222: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[08], dut.block_reg[09], dut.block_reg[10], dut.block_reg[11]);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:222: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[08], dut.block_reg[09], dut.block_reg[10], dut.block_reg[11]);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:222: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[08], dut.block_reg[09], dut.block_reg[10], dut.block_reg[11]);\n                                                         ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:222: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[08], dut.block_reg[09], dut.block_reg[10], dut.block_reg[11]);\n                                                                            ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:224: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[12], dut.block_reg[13], dut.block_reg[14], dut.block_reg[15]);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:224: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[12], dut.block_reg[13], dut.block_reg[14], dut.block_reg[15]);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:224: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[12], dut.block_reg[13], dut.block_reg[14], dut.block_reg[15]);\n                                                         ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:224: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[12], dut.block_reg[13], dut.block_reg[14], dut.block_reg[15]);\n                                                                            ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:226: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[16], dut.block_reg[17], dut.block_reg[18], dut.block_reg[19]);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:226: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[16], dut.block_reg[17], dut.block_reg[18], dut.block_reg[19]);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:226: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[16], dut.block_reg[17], dut.block_reg[18], dut.block_reg[19]);\n                                                         ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:226: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[16], dut.block_reg[17], dut.block_reg[18], dut.block_reg[19]);\n                                                                            ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:228: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[20], dut.block_reg[21], dut.block_reg[22], dut.block_reg[23]);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:228: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[20], dut.block_reg[21], dut.block_reg[22], dut.block_reg[23]);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:228: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[20], dut.block_reg[21], dut.block_reg[22], dut.block_reg[23]);\n                                                         ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:228: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[20], dut.block_reg[21], dut.block_reg[22], dut.block_reg[23]);\n                                                                            ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:230: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[24], dut.block_reg[25], dut.block_reg[26], dut.block_reg[27]);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:230: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[24], dut.block_reg[25], dut.block_reg[26], dut.block_reg[27]);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:230: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[24], dut.block_reg[25], dut.block_reg[26], dut.block_reg[27]);\n                                                         ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:230: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[24], dut.block_reg[25], dut.block_reg[26], dut.block_reg[27]);\n                                                                            ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:232: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[28], dut.block_reg[29], dut.block_reg[30], dut.block_reg[31]);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:232: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[28], dut.block_reg[29], dut.block_reg[30], dut.block_reg[31]);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:232: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[28], dut.block_reg[29], dut.block_reg[30], dut.block_reg[31]);\n                                                         ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:232: Can\'t find definition of \'block_reg\' in dotted variable: \'dut.block_reg\'\n               dut.block_reg[28], dut.block_reg[29], dut.block_reg[30], dut.block_reg[31]);\n                                                                            ^~~~~~~~~\n%Error: data/full_repos/permissive/17116976/src/tb/tb_sha512.v:237: Can\'t find definition of \'digest_reg\' in dotted variable: \'dut.digest_reg\'\n      $display("digest = 0x%0128x", dut.digest_reg);\n                                        ^~~~~~~~~~\n%Error: Exiting due to 43 error(s), 9 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
function [511 : 0] get_mask(input [1 : 0] mode);
    begin
      case (mode)
        MODE_SHA_512_224:
          begin
            if (DEBUG)
              begin
                $display("Mode MODE_SHA_512_224");
              end
            get_mask = {{7{32'hffffffff}}, {9{32'h00000000}}};
          end

        MODE_SHA_512_256:
          begin
            if (DEBUG)
              begin
                $display("Mode MODE_SHA_512_256");
              end
            get_mask = {{8{32'hffffffff}}, {8{32'h00000000}}};
          end

        MODE_SHA_384:
          begin
            if (DEBUG)
              begin
                $display("Mode MODE_SHA_512_384");
              end
            get_mask = {{12{32'hffffffff}}, {4{32'h00000000}}};
          end

        MODE_SHA_512:
          begin
            if (DEBUG)
              begin
                $display("Mode MODE_SHA_512");
              end
            get_mask = {16{32'hffffffff}};
          end
      endcase
    end
  endfunction
function [511 : 0] get_mask(input [1 : 0] mode);

    begin
      case (mode)
        MODE_SHA_512_224:
          begin
            if (DEBUG)
              begin
                $display("Mode MODE_SHA_512_224");
              end
            get_mask = {{7{32'hffffffff}}, {9{32'h00000000}}};
          end

        MODE_SHA_512_256:
          begin
            if (DEBUG)
              begin
                $display("Mode MODE_SHA_512_256");
              end
            get_mask = {{8{32'hffffffff}}, {8{32'h00000000}}};
          end

        MODE_SHA_384:
          begin
            if (DEBUG)
              begin
                $display("Mode MODE_SHA_512_384");
              end
            get_mask = {{12{32'hffffffff}}, {4{32'h00000000}}};
          end

        MODE_SHA_512:
          begin
            if (DEBUG)
              begin
                $display("Mode MODE_SHA_512");
              end
            get_mask = {16{32'hffffffff}};
          end
      endcase
    end
  endfunction