RE: [sv-bc] 6.3.2.1 $ as a parameter value

This was added by the sv-ac, so perhaps they should respond. And inside
was added by the sv-ec, so they should respond also.

> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
> Bresticker, Shalom
> Sent: Tuesday, February 14, 2006 3:57 AM
> To: sv-bc@eda.org
> Subject: [sv-bc] 6.3.2.1 $ as a parameter value
> 
> Hi,
> 
> 6.3.2.1 says,
> 
> "The value $ can be assigned to parameters of integer types. A
parameter
> to which $ is assigned shall only be
> used wherever $ can be specified as a literal constant."
> 
> and
> 
> "To support whether a constant is $, a system function is provided to
test
> whether a constant is a $. The syntax
> of the system function is
> $isunbounded(const_expression);
> $isunbounded returns true if const_expression is unbounded. Typically,
> $isunbounded would be used as
> a condition in the generate statement."
> 
> What bothers me is that $ can be used for other things as well as
> unbounded range specification.
> 
> For example, 8.19 (Set membership) says,
> 
> "A range can be specified with a low and high bound enclosed by square
> braces [ ] and separated by a colon
> ( : ), as in [low_bound:high_bound]. A bound specified by $ shall
> represent the lowest or highest value
> for the type of the expression on the left-hand side."
> 
> So:
> 
> Can I use a parameter set to $ in a range with 'inside' operator?
> 
> Presumably, the parameter itself has no idea whether it is going to be
> used in an assertion time range or in a set membership expression.
> Presumably, also, the $isunbounded function has no idea how the
> const_expression argument is going to be used.
> 
> Does this mean that the name '$isunbounded' is misleading and
represents
> only one possible meaning of $ ?
> 
> Shalom Bresticker
> Intel Jerusalem LAD DA
> +972 2 589-6852
> +972 54 721-1033
> I don't represent Intel
>