[sv-ac] RE: inconsistency in draft5

I have a vague recollection of this coming up a few months ago, need to check.

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Kulshrestha, Manisha
> Sent: Friday, July 06, 2012 09:04
> To: sv-ac@eda-stds.org
> Subject: [sv-ac] inconsistency in draft5
>
> Hi Dimitry,
>
> I found one inconsistency in draft5 related to use of automatic
> variables in sampled value functions. In 16.5.1, it says:
>
> - When a past or a future value of an automatic variable is referenced
> by a sampled value function,
> the current value of the automatic variable is taken instead.
>
> But in 16.9.3, it says:
>
> All variables referenced in the actual argument expressions passed to
> these functions shall be
> static.
>
> So, as per 16.9.3, using automatic variables in sampled value functions
> is not allowed. I think this is something which needs fix in this PAR
> itself if possible.
>
> Thanks.
> Manisha

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
Received on Thu Jul 5 23:06:09 2012