Error with counter component in Labs v2

Help Request
1

I’m converting some code to Alchitry Labs v2, and I noticed some code that worked in v1 now produces an error in v2 (with Vivado 2024.2 on Windows).

The code in question uses the counter component:

counter ctr1 (#SIZE(5), #DIV(12));

In v1 this worked, but in v2 this results in build errors:

INFO: [Synth 8-6157] synthesizing module ‘counter’ [C:/Users/fairall/Documents/alchitry/apple2c_AL/build/vivado/apple2c_AL.srcs/sources_1/imports/source/counter.sv:7]
Parameter SIZE bound to: 3’b101
Parameter DIV bound to: 4’b1100
Parameter TOP bound to: 1’b0
Parameter UP bound to: 1’b1
ERROR: [Synth 8-524] part-select [0:-4] out of range of prefix ‘D_ctr_q’ [C:/Users/fairall/Documents/alchitry/apple2c_AL/build/vivado/apple2c_AL.srcs/sources_1/imports/source/counter.sv:23]
ERROR: [Synth 8-6156] failed synthesizing module ‘counter’ [C:/Users/fairall/Documents/alchitry/apple2c_AL/build/vivado/apple2c_AL.srcs/sources_1/imports/source/counter.sv:7]
ERROR: [Synth 8-6156] failed synthesizing module ‘au_top’ [C:/Users/fairall/Documents/alchitry/apple2c_AL/build/vivado/apple2c_AL.srcs/sources_1/imports/source/au_top.sv:7]

Here is part of the v2 code generated for counter.sv (last line shown is line 23 with the error):

module counter #(
parameter SIZE = 4’h8,
parameter DIV = 1’h0,
parameter TOP = 1’h0,
parameter UP = 1’h1
) (
input wire clk,
input wire rst,
output reg [(SIZE)-1:0] value
);
logic [(SIZE + DIV)-1:0] D_ctr_d, D_ctr_q = 0;
localparam NON_ZERO_DIV = DIV == 1’h0 ? 1’h1 : DIV;
localparam MAX_VALUE = DIV > 1’h0 ? {TOP, {NON_ZERO_DIV{1’h1}}} : TOP;
always @* begin
D_ctr_d = D_ctr_q;

    value = D_ctr_q[SIZE + DIV - 1'h1-:SIZE];

Here is the corresponding code generated for that particular instance in v1:

module counter_4 (
input clk,
input rst,
output reg [4:0] value
);

localparam SIZE = 3’h5;
localparam DIV = 4’hc;
localparam TOP = 1’h0;
localparam UP = 1’h1;

reg [16:0] M_ctr_d, M_ctr_q = 1’h0;

localparam MAX_VALUE = 13’h0fff;

always @* begin
M_ctr_d = M_ctr_q;

value = M_ctr_q[12+4-:5];

Might this be a bug in the counter component? Thanks.