Re: [sv-bc] $bits question

>From: "Brad Pierce" <Brad.Pierce@synopsys.com>

>So you would like to further restrict param_expression, which already
>has the restriction of no '$', but are less concerned about restricting
>constant_param_expression.

Upon further thought, I don't think that the data type declaration syntax
belongs anywhere but in a declaration (typedef or object declaration).  In
other contexts, the syntax is ambiguous.  For example:

typedef logic [N-1:0] T1;
typedef logic T1 [N-1:0];

parameter type p = logic [N-1:0];

It is clear what types T1 and T2 represent, because the position of the
name in the declaration syntax disambiguates them.  But it is not clear
what type p is supposed to represent.  Is it similar to T1 or T2?  And
putting type() around it doesn't help.

Steven Sharp
sharp@cadence.com