[sv-ac] Email ballot result (July 25)

Below are the results of the email ballot:

3213
Yes Laurence Bisht
Yes Eduard Cerny
Yes Ben Cohen
Shaun Feng
Tapan Kapoor
Yes Jacob Katz
Yes Scott Little
Yes Manisha Kulshrestha
Yes Anupam Prabhakar
Yes Erik Seligman
Samik Sengupta
Yes Tom Thatcher

The issue 3213 passed with friendly amendments: 9y/0n/0a

Friendly Amendments

Scott:

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

Ed:
Minor correction in Motivation, last paragraph: "This proposal does not introduce any backward incompatibility except ... "

Minor in 16.5: The c Concurrent assertions are evaluated in the Observed region.

Tom:

In 16.6, you are deleting the reference to 16.6.2. The proposal does delete section 16.6.2, However, section 16.6.3 will be re-numbered to 16.6.2, so the sentence should read, ". . . as specified in 16.6.1 and 16.6.2"

Ben:
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.

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