in lzc module the comment says:
/// If the input does not contain a zero, empty_o is asserted. Additionally cnt_o contains
/// the maximum number of zeros - 1.
if the WIDTH is power of 2, it works fine
but if the WIDTH is not the power of 2，i.e WIDTH is 29
when in_i is empty, cnt_o is zero instead of 29-1
because in the rtl
// if index is out of range
if (unsigned'(k) * 2 > WIDTH - 1) begin : g_out_of_range
assign sel_nodes[2 level - 1 + k] = 1'b0;
assign index_nodes[2 level - 1 + k] = '0; // why not assign index_nodes[2 ** level - 1 + k] = WIDTH-1;
end
in lzc module the comment says: /// If the input does not contain a zero,
empty_ois asserted. Additionallycnt_ocontains /// the maximum number of zeros - 1. if the WIDTH is power of 2, it works finebut if the WIDTH is not the power of 2，i.e WIDTH is 29 when in_i is empty, cnt_o is zero instead of 29-1
because in the rtl // if index is out of range if (unsigned'(k) * 2 > WIDTH - 1) begin : g_out_of_range assign sel_nodes[2 level - 1 + k] = 1'b0; assign index_nodes[2 level - 1 + k] = '0; // why not assign index_nodes[2 ** level - 1 + k] = WIDTH-1; end