[sv-ac] Call to vote: Due August 1

-You have until 11:59 pm PDT, Monday, August 1, 2011 to respond

-An issue passes if there are zero NO votes and half of the eligible voters respond with a YES vote.

-If you vote NO on any issue, your vote must be accompanied by a reason.

The issue will then be up for discussion during a future conference call.

As of the July 26, 2011 meeting, the eligible voters are

Ashok Bhatt

Laurence Bisht

Eduard Cerny

Ben Cohen

Tapan Kapoor

Jacob Katz

Scott Little

Manisha Kulshrestha

Anupam Prabhakar

Erik Seligman

Samik Sengupta

Tom Thatcher

Mantis 3213 ____ Yes ____ No

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

Changes made:

In the first paragraph of 16.5.1. "The value of an expression sampled in their context..." replaced with "The value of an expression sampled in one of these constructs is called a sampled value."

In the first WITH on page 7 , "(see 16.5.1 for the definition of sampling in past clock ticks, and the description of $past below, of how past values are evaluated.)" replaced with, "(see 16.5.1 for the definition of sampling in past clock ticks and the description of $past below for how past values are evaluated).

In the first WITH on page 10, the final sentence "This assertion evaluation attempt uses these saved values for the rest of the evaluation." --> "This assertion evaluation attempt uses these saved values for the evaluation."

In the first WITH on page 11, and other similar places "as explained in 16.5.1..." --> "see 16.5.1 for the definition ..."

Fixed a typo in Motivation section "backward compatibility" --> "backward incompatibility".

16.5: "The concurrent assertions are evaluated in the Observed region." --> "Concurrent assertions are evaluated in the Observed region."

16.6: ". . . as specified in 16.6.1 and 16.6.3" --> ". . . as specified in 16.6.1 and 16.6.2" (Subclause 16.6.2) was deleted.

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