/*
:name: specparam_inv
:description: specparam assignment to param should be invalid
:should_fail: 1
:tags: 6.20.5
*/
module top();
	specparam delay = 50;
	parameter p = delay + 2;
endmodule