[sv-ac] #966

Hi,

I think this proposal should also clarify how '$' gets propagated in
case parameters are typed:

   module #(parameter byte p = 1) child;
      child2 #(p) c2;
   endmodule

   module #(parameter int p = 1) child2;
   endmodule

   module top;
      child2 #($) c2;
   endmodule

Does "$" propagate as a special value here?

I think that there needs to be some sort of statement that either:

1) "The special value "$" is retained through parameter assignment
     irrespective of the type of the parameter.  The value "$" is
     considered to be a value and therefore shall not be legal to
     associate with a type parameter."

OR

2) "The special value "$" shall only be used with an untyped parameter.
     Any association with an explicitly typed parameter shall be
illegal."


This distinction is important if I start adding localparams to the
mix:

   module #(parameter byte p = 1) child;
      localparam bit p2 = p;
      child2 #(p)  c2a;    // are these different if "p" is "$" ?
      child2 #(p2) c2b;
   endmodule

Manisha