[sv-bc] defparms to package parameters

Is this legal:

package A;
parameter P = 0;
endpackage

module m();
import A::P;
endmodule

defparam m.P = 1;

Does this change the value of the parameter 'P' in the package?

If this is legal, it would seem to me this opens the door to all
kinds of difficult to detect loops in elaboration.

Mark Hartoog
700 E. Middlefield Road
Mountain View, CA 94043
650 584-5404
markh@synopsys.com
Received on Sun May 16 16:08:02 2004