RE: [sv-ac] Call to vote: Due June 13

Hi Manisha,

Please, see below.

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Monday, June 13, 2011 14:04
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: RE: [sv-ac] Call to vote: Due June 13

Mantis 3213 __ X __ Yes ____ No

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

 Some friendly ammendments:

1. In the following sentence in 16.5.1, "The sampled value of sequence methods triggered and matched (see 16.14.6) are defined as current values returned by these methods." the word, value should be 'values'.

[Korchemny, Dmitry] Following Tom's comments I rephrased this sentence as follows:
"The sampled values of these methods are defined as the current values as explained in 16.5.1."

2. On page 8, "According to the definition of the past sampled value (see 16.5.1) $past returns at each loop iteration the past value of the i-th bit of b. ", there should be a comma before $past.

[Korchemny, Dmitry] Done.

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