yosys/tests/verilog/param_no_default_unbound_1.ys

read_verilog -sv <<EOF
module Example #(
    parameter X
);
endmodule
module top;
    Example e();
endmodule
EOF

logger -expect error "Parameter `\\X' has no default value and has not been overridden!" 1
hierarchy -top top
sv: support for parameters without default values - Modules with a parameter without a default value will be automatically deferred until the hierarchy pass - Allows for parameters without defaults as module items, rather than just int the `parameter_port_list`, despite being forbidden in the LRM - Check for parameters without defaults that haven't been overriden - Add location info to parameter/localparam declarations 2021-03-02 09:43:53 -06:00			`read_verilog -sv <<EOF`
			`module Example #(`
			`parameter X`
			`);`
			`endmodule`
			`module top;`
			`Example e();`
			`endmodule`
			`EOF`

			logger -expect error "Parameter `\\X' has no default value and has not been overridden!" 1
			`hierarchy -top top`