[sv-ac] 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..."

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, and is
believed to be clean.