data/full_repos/permissive/427221126/workspace/addrgen.v
1: b"%Error: data/full_repos/permissive/427221126/workspace/addrgen.v:7: Can't find definition of variable: 'ADDR_WIDTH'\n    output [ADDR_WIDTH-1:0]    ADDR,\n            ^~~~~~~~~~\n%Error: data/full_repos/permissive/427221126/workspace/addrgen.v:14: Found definition of 'counter' as a BEGIN but expected a variable\n        counter <= 0;\n        ^~~~~~~\n%Error: data/full_repos/permissive/427221126/workspace/addrgen.v:14: Unsupported in C: Variable has the same name as block: 'counter'\n        counter <= 0;\n        ^~~~~~~\n        data/full_repos/permissive/427221126/workspace/addrgen.v:12: ... Location of original declaration\nalways @(posedge clk) begin:counter\n                            ^~~~~~~\n%Error: Exiting due to 3 error(s)\n"
module addrgen
  (
    input                      clk,rst,en,
    input                   ENCODE,
    input            [2:0]     LEN,
    output [ADDR_WIDTH-1:0]    ADDR,
    output                     ADD_VALID
  );


always @(posedge clk) begin:counter
    if(rst) 
        counter <= 0;
    else if(en)
        counter <= counter + 1;
end
endmodule
module addrgen
  (
    input                      clk,rst,en,
    input                   ENCODE,
    input            [2:0]     LEN,
    output [ADDR_WIDTH-1:0]    ADDR,
    output                     ADD_VALID
  );



always @(posedge clk) begin:counter
    if(rst) 
        counter <= 0;
    else if(en)
        counter <= counter + 1;
end
endmodule