(specify block ignored). Must use 'read_verilog -defer' due to a parameter not assigned a default value.