[sv-bc] FW: [sv-ac] Porposal for errata 966

-----Original Message-----
From: Bresticker, Shalom 
Sent: Wednesday, February 22, 2006 12:28 PM
To: 'Eduard Cerny'; sv-ac@eda.org
Subject: RE: [sv-ac] Porposal for errata 966

Ed,

I have a couple of issues with $unbounded.
This is part of Mantis 1350.

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


> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On
> Behalf Of Eduard Cerny
> Sent: Tuesday, February 07, 2006 3:48 PM
> To: sv-ac@eda.org
> Subject: [sv-ac] Porposal for errata 966
> 
> Hi, I have added in Mantis a proposal for errata 996 and a bug
> note.
> Also see attached file.
> ed
> 
> Reminder:
> 
> SV-AC meeting today at 9am PT, 12pm ET:
> Dial in:
>         Domestic: 888-635-9997
>         International: 763-315-6815
>         Participant: 2638198