[sv-ac] Email ballot result (June 13) (resend)

Below are the results of the email ballot:

3213

Yes Laurence Bisht

Eduard Cerny

Yes Ben Cohen

Yes Shaun Feng

Yes Tapan Kapoor

Yes Jacob Katz

Yes Scott Little

Yes Manisha Kulshrestha

Yes Anupam Prabhakar

Erik Seligman

Yes Samik Sengupta

Yes Tom Thatcher

The issue passed: 10y/0n/0a. There were friendly amendments.

Friendly Amendments

Tom
How do we distinguish our term "sampled value" from the #1 sampling that occurs in clocking blocks?
We'll need to check if the term "sampled value" is ever used to refer to #1 sampling in clocking blocks.

16.5.1 Sampling

                Bullet 2: Why do you need "at time 0" This bullet is referring to variables that are not static.
                Also, should the default type be "1'bx" rather than "X"?

                Maybe the sentence should be re-written, For example, the default sampled value of variable y of type logic is 1'bx"

                Bullet 4: How about re-writing it this way:
                "The default sampled value of an expression is defined recursively by evaluating the expression using the default sampled values of its component subexpressions and variables.

16.10
                Rephrase
                "A sampled value of a local variable coincides with its current value"
                To
                The sampled value of a local variable is defined as the current value as explained in 16.5.1"

16.14.6
                Rephrase
                "The sampled values of these methods coincide with their current values as explained in 16.5.1"
                The sampled values of these methods are defined as the current values as explained in 16.5.1"

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

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.

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