Il manque une syntaxe dans _phy_alt_mem_phy.v ligne 1655.
toujours @(extended_value, extend_using_this_bit_mask, dwidth_scaled_pre_extend_array)
code de contournement :
toujours @(extended_value, extend_using_this_bit_mask, dwidth_scaled_pre_extend_array[k])
en affectant la batterie emballée comme liste de sensibilité, la compilation passe.