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

Hi Scott,

Please, see my comments below.

Thanks,
Dmitry

From: Little Scott-B11206 [mailto:B11206@freescale.com]
Sent: Monday, July 25, 2011 17:44
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: RE: Call to vote: Due July 25

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..."

[Korchemny, Dmitry] The whole paragraph reads as:
Concurrent assertions and several other constructs (such as checker actual arguments, see 17.3) have special rules for sampling values of their expressions. The value of an expression sampled in their context is called a sampled value.
We are talking about expression evaluation in the context of these constructs, therefore "their" is correct here.

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.).

[Korchemny, Dmitry] Done. Though the comma before and was added according to Ben's request.

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?

[Korchemny, Dmitry] Done.

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"?

[Korchemny, Dmitry] "arguments" was deleted. The sentence is "the assertion's expressions"

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

[Korchemny, Dmitry] Done.

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).
[Korchemny, Dmitry] Done. Replaced also in other similar cases for consistency.
---------------------------------------------------------------------
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.