[sv-ac] RE: Mantis 3213

So you need to clarify the distinction between the two cases because it is not worded clearly.

Shalom

From: Korchemny, Dmitry
Sent: Tuesday, July 12, 2011 4:06 PM
To: Bresticker, Shalom
Cc: sv-ac@eda-stds.org
Subject: RE: Mantis 3213

No, your understanding is correct.

Thanks,
Dmitry

From: Bresticker, Shalom
Sent: Tuesday, July 12, 2011 16:05
To: Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: RE: Mantis 3213

It can seem contradictory to the reader because the previous paragraph says that 'sampled values of ... active free checker variables ... are the current values', whereas the second paragraph does not talk about 'current values'.

If the intent is to distinguish between 'sampled values' and 'a past or a future value of an active free checker variable [that] is referenced by a sampled value function', you should clarify that. The simple understanding is that 'a past ... value of an active free checker variable [that] is referenced by a sampled value function' is a special case of 'sampled values'.

Or did I get it wrong entirely?

Regards,
Shalom

From: Korchemny, Dmitry
Sent: Tuesday, July 12, 2011 3:59 PM
To: Bresticker, Shalom
Cc: sv-ac@eda-stds.org
Subject: Mantis 3213

Hi Shalom,

One of your comments states:

The following two paragraphs seem to be contradictory. The difference should be made clearer:

"- Sampled values of automatic variables (see 16.15.6), local variables (see 16.10), and active free checker variables (see 17.7.2) are their current values.

- When a past or a future value of an active free checker variable is referenced by a sampled value function (see 16.9.3 and 16.9.4), this value is sampled in the Postponed region of the corresponding past or future clock tick."

Why do you think that these paragraphs are contradictory? We are not saying here that a sampled value function uses a sampled value in the past, but that it samples its value in the past at specific simulation regions. How would you recommend to rewrite these paragraphs to make them clearer?

Thanks,
Dmitry
---------------------------------------------------------------------
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.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.