In modules that process parameter arrays, Verilator seems to not realize that the parameter array is still constant. Commercial simulation and synthesis by at least ...