RE: inconsistency in draft5

Hi Manisha,

This is indeed a contradiction that I would like to be fixed. Unfortunately, we are not authorized to fix this now. In any case I suggest to open a Mantis for this.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bresticker, Shalom
Sent: Friday, July 06, 2012 09:06
To: Kulshrestha, Manisha; sv-ac@eda-stds.org
Subject: [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.

---------------------------------------------------------------------
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 Fri Jul 6 00:19:16 2012