RE: [sv-ac] RE: Call to vote: Due July 25

Fixed.

Dmitry

From: ben cohen [mailto:hdlcohen@gmail.com]
Sent: Monday, July 25, 2011 20:57
To: Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] RE: Call to vote: Due July 25

Mantis 3213 __X__ Yes ____ No

http://www.eda-stds.org/svdb/view.php?id=3213
Friendly amendment:
However,

* when 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;

* whenWhen 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.

On Mon, Jul 25, 2011 at 7:43 AM, Little Scott-B11206 <B11206@freescale.com<mailto:B11206@freescale.com>> wrote:

Mantis 3213 __X__ Yes ____ No

http://www.eda-stds.org/svdb/view.php?id=3213
http://www.eda-stds.org/mantis/file_download.php?file_id=5227&type=bug

I gave the proposal another full read and had some friendly amendments.

In the first paragraph of 16.5.1. I believe that "The value of an expression sampled in their context..." should be "The value of an expression sampled in theirits context..."

In the first REPLACE/WITH on page 7, I believe that the following phrase would be improved if changed as suggested below, "(see 16.5.1 for the definition of sampling in past clock ticks, and the description of $past below, offor how past values are evaluated.).

In the first REPLACE/WITH on page 10, the final sentence states, "This assertion evaluation attempt uses these saved values for the rest of the evaluation." Can we strike "the rest of"? Is any evaluation done prior to the capture of these values?

In the second REPLACE/WITH on page 10, I find the phrase "the assertion's expressions arguments" awkward. Could it be reworded, "expression arguments in assertions"?

In the first REPLACE on page 11, I would prefer (see 16.5.1 for the definition of the sampled value)

In the final REPLACE/WITH on page 11, I would prefer "A sampled value of an active checker variable is defined as its current value as explained in (see 16.5.1).

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
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.