data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv
1: b'%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:13: Cannot find include file: axi/assign.svh\n`include "axi/assign.svh" \n         ^~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test,data/full_repos/permissive/509468557/axi/assign.svh\n             data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test,data/full_repos/permissive/509468557/axi/assign.svh.v\n             data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test,data/full_repos/permissive/509468557/axi/assign.svh.sv\n             axi/assign.svh\n             axi/assign.svh.v\n             axi/assign.svh.sv\n             obj_dir/axi/assign.svh\n             obj_dir/axi/assign.svh.v\n             obj_dir/axi/assign.svh.sv\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:15: syntax error, unexpected IDENTIFIER, expecting PACKAGE-IDENTIFIER or STRING\nimport axi_pkg::ATOP_ATOMICCMP;\n       ^~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:35: syntax error, unexpected TIME NUMBER, expecting TYPE-IDENTIFIER\n  parameter time TCLK = 10ns,\n                        ^~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:37: syntax error, unexpected parameter, expecting IDENTIFIER\n  parameter time TT = TCLK * 3/4,\n  ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:38: syntax error, unexpected parameter, expecting IDENTIFIER\n  parameter int unsigned REQ_MIN_WAIT_CYCLES = 0,\n  ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:39: syntax error, unexpected parameter, expecting IDENTIFIER\n  parameter int unsigned REQ_MAX_WAIT_CYCLES = 10,\n  ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:40: syntax error, unexpected parameter, expecting IDENTIFIER\n  parameter int unsigned RESP_MIN_WAIT_CYCLES = 0,\n  ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:41: syntax error, unexpected parameter, expecting IDENTIFIER\n  parameter int unsigned RESP_MAX_WAIT_CYCLES = REQ_MAX_WAIT_CYCLES/2,\n  ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:42: syntax error, unexpected parameter, expecting IDENTIFIER\n  parameter int unsigned N_TXNS = 10000\n  ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:43: syntax error, unexpected \')\', expecting \';\'\n);\n^\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:54: syntax error, unexpected IDENTIFIER\n  clk_rst_gen #(\n  ^~~~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:78: Define or directive not defined: \'`AXI_ASSIGN\'\n  `AXI_ASSIGN(upstream, upstream_dv);\n  ^~~~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:96: Define or directive not defined: \'`AXI_ASSIGN\'\n  `AXI_ASSIGN(downstream_dv, downstream);\n  ^~~~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:108: syntax error, unexpected ::, expecting \'.\' or \';\'\n  typedef axi_test::axi_driver #(\n                  ^~\n                                                                                                                                : ... Perhaps \'axi_test\' is a package which needs to be predeclared? (IEEE 1800-2017 26.3)\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:117: syntax error, unexpected \'#\', expecting \'.\' or \';\'\n  typedef rand_id_queue #(\n                        ^\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:136: syntax error, unexpected ::, expecting \'(\' or \';\'\n  function axi_driver_t::ax_beat_t new_rand_burst();\n                       ^~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:138: syntax error, unexpected IDENTIFIER, expecting TYPE-IDENTIFIER\n    automatic axi_driver_t::ax_beat_t ax_beat = new;\n              ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:140: syntax error, unexpected IDENTIFIER, expecting TYPE-IDENTIFIER\n    automatic axi_pkg::burst_t burst;\n              ^~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:143: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n    rand_success = std::randomize(burst) with {\n                        ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:143: Unsupported: SystemVerilog 2005 reserved word not implemented: \'with\'\n    rand_success = std::randomize(burst) with {\n                                         ^~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:150: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n    rand_success = std::randomize(size) with {\n                        ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:150: Unsupported: SystemVerilog 2005 reserved word not implemented: \'with\'\n    rand_success = std::randomize(size) with {\n                                        ^~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:157: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n        rand_success = std::randomize(addr); assert(rand_success);\n                            ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:164: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n        rand_success = std::randomize(addr); assert(rand_success);\n                            ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:175: syntax error, unexpected IDENTIFIER\n  axi_driver_t axi_master = new(upstream_dv);\n  ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:178: Unsupported: Static in this context\n    static axi_driver_t::ax_beat_t aw_queue[$];\n    ^~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:179: Unsupported: Static in this context\n    static int unsigned atop_flight_cnt[NUM_AXI_IDS-1:0],\n    ^~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:185: Unsupported: Static in this context\n    static logic  ar_done = 1\'b0,\n    ^~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:187: Unsupported: Static in this context\n    static semaphore cnt_sem = new(1);\n    ^~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:187: syntax error, unexpected IDENTIFIER, expecting TYPE-IDENTIFIER\n    static semaphore cnt_sem = new(1);\n           ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:189: syntax error, unexpected IDENTIFIER\n    for (int unsigned i = 0; i < NUM_AXI_IDS; i++) begin\n                             ^\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:200: Unsupported: Static in this context\n          static int unsigned rand_success;\n          ^~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:202: syntax error, unexpected while\n          while (tot_r_flight_cnt >= AXI_MAX_READ_TXNS) begin\n          ^~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:208: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n            rand_success = std::randomize(id); assert(rand_success);\n                                ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:237: Unsupported: Static in this context\n          static int unsigned rand_success = 0;\n          ^~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:239: syntax error, unexpected while\n          while (tot_w_flight_cnt >= AXI_MAX_WRITE_TXNS\n          ^~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:262: syntax error, unexpected if\n              if (aw_beat.ax_atop == ATOP_ATOMICCMP) begin\n              ^~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:265: syntax error, unexpected IDENTIFIER\n                rand_success = std::randomize(log_bytes) with {\n                ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:265: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n                rand_success = std::randomize(log_bytes) with {\n                                    ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:265: Unsupported: SystemVerilog 2005 reserved word not implemented: \'with\'\n                rand_success = std::randomize(log_bytes) with {\n                                                         ^~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:275: syntax error, unexpected IDENTIFIER\n                  rand_success = std::randomize(log_bytes); assert(rand_success);\n                  ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:275: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n                  rand_success = std::randomize(log_bytes); assert(rand_success);\n                                      ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:304: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n              rand_success = std::randomize(id); assert(rand_success);\n                                  ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:310: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n              rand_success = std::randomize(id); assert(rand_success);\n                                  ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:333: Unsupported: Static in this context\n        static int unsigned rand_success = 0;\n        ^~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:334: syntax error, unexpected wait\n        wait (aw_queue.size() > 0);\n        ^~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:337: syntax error, unexpected IDENTIFIER\n        for (int unsigned i = 0; i < aw_beat.ax_len + 1; i++) begin\n                                 ^\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:341: syntax error, unexpected IDENTIFIER\n          rand_success = std::randomize(w_beat); assert (rand_success);\n          ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:341: Unsupported: SystemVerilog 2005 reserved word not implemented: \'randomize\'\n          rand_success = std::randomize(w_beat); assert (rand_success);\n                              ^~~~~~~~~\n%Error: data/full_repos/permissive/509468557/generators/cva6/src/main/resources/vsrc/cva6/src/axi/test/tb_axi_atop_filter.sv:385: Unsupported: Static in this context\n    static rand_ax_beat_queue       ar_queue = new;\n    ^~~~~~\n%Error: Exiting due to too many errors encountered; --error-limit=50\n'
function axi_driver_t::ax_beat_t new_rand_burst();
    automatic int unsigned rand_success = 0;
    automatic axi_driver_t::ax_beat_t ax_beat = new;
    automatic axi_addr_t addr;
    automatic axi_pkg::burst_t burst;
    automatic axi_pkg::size_t size;

    rand_success = std::randomize(burst) with {
      burst <= axi_pkg::BURST_INCR;
    }; assert(rand_success);
    ax_beat.ax_burst = burst;

    ax_beat.ax_len = $random();

    rand_success = std::randomize(size) with {
      2**size <= AXI_STRB_WIDTH;
    }; assert(rand_success);
    ax_beat.ax_size = size;

    if (ax_beat.ax_burst == BURST_FIXED) begin
      forever begin
        rand_success = std::randomize(addr); assert(rand_success);
        if (((addr + 2**ax_beat.ax_size) & PFN_MASK) == (addr & PFN_MASK))
          break;
      end
      ax_beat.ax_addr = addr;
    end else begin
      forever begin
        rand_success = std::randomize(addr); assert(rand_success);
        if (((addr + 2**ax_beat.ax_size * (ax_beat.ax_len + 1)) & PFN_MASK) == (addr & PFN_MASK))
          break;
      end
      ax_beat.ax_addr = addr;
    end
    return ax_beat;
  endfunction
function axi_driver_t::ax_beat_t new_rand_burst();

    automatic int unsigned rand_success = 0;
    automatic axi_driver_t::ax_beat_t ax_beat = new;
    automatic axi_addr_t addr;
    automatic axi_pkg::burst_t burst;
    automatic axi_pkg::size_t size;

    rand_success = std::randomize(burst) with {
      burst <= axi_pkg::BURST_INCR;
    }; assert(rand_success);
    ax_beat.ax_burst = burst;

    ax_beat.ax_len = $random();

    rand_success = std::randomize(size) with {
      2**size <= AXI_STRB_WIDTH;
    }; assert(rand_success);
    ax_beat.ax_size = size;

    if (ax_beat.ax_burst == BURST_FIXED) begin
      forever begin
        rand_success = std::randomize(addr); assert(rand_success);
        if (((addr + 2**ax_beat.ax_size) & PFN_MASK) == (addr & PFN_MASK))
          break;
      end
      ax_beat.ax_addr = addr;
    end else begin
      forever begin
        rand_success = std::randomize(addr); assert(rand_success);
        if (((addr + 2**ax_beat.ax_size * (ax_beat.ax_len + 1)) & PFN_MASK) == (addr & PFN_MASK))
          break;
      end
      ax_beat.ax_addr = addr;
    end
    return ax_beat;
  endfunction