RE: [sv-ac] #966

Perhaps $ should be allowed only with type int. 
ed 

> -----Original Message-----
> From: owner-sv-ac@eda-stds.org 
> [mailto:owner-sv-ac@eda-stds.org] On Behalf Of Kulshrestha, Manisha
> Sent: Monday, July 10, 2006 7:42 PM
> To: sv-ac@eda-stds.org
> Subject: [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
> 
>