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

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