[sv-champions] RE: vote

Thanks Shalom,
I think it would be worthwhile to add this information to the proposals otherwise the editor will have
trouble.

Francoise
       '

________________________________
From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
Sent: Monday, November 01, 2010 11:44 PM
To: Francoise Martinolle; sv-champions@eda.org
Subject: RE: vote

Hi, Francoise.

 1. 2934<http://www.eda-twiki.org/svdb/view.php?id=2934> SV-AC Precedence and associativity of case operator is not shown in the table
There is a proposal. Adds one more item to a comma-separated list.
Passed by voice vote 2010-06-29: 7y/0n/0a
Approve __ Oppose __X Could not find table 16. 3 in the LRM, It would be nice to describe which section it is to be found.
[SB] The reference was to Table 16-3-Sequence and property operator precedence and associativity in section 16.13 on page 363.

 1. 1933<http://www.eda-twiki.org/svdb/view.php?id=1933> SV-AC 16.13.6 reference to triggered method can be improved
There is a proposal, but the suggested change is not necessary.
The vote is to close as "no change required".
Passed by voice vote 2010-06-01 9y/0a/0n.
Approve __ Oppose _X_ Section does not match the current LRM
[SB] The reference is to 16.14.6, the sentences, "The value of method triggered evaluates to true if the given sequence has reached its end point at that particular point in time and false otherwise. The triggered status of the sequence is set in the Observed region and persists through the remainder of the time step. In addition to using this method in assertion statements, it may be used in wait statements (see 9.4.3) or Boolean expressions outside a sequence context."

 1. 2252<http://www.eda-twiki.org/svdb/view.php?id=2252> SV-AC Several symbols in Annex F are in green
no change required
Already implemented.
Passed by voice vote 2010-04-27: 0n/0a/12y.
Approve _ Oppose __ Abstain: there is no F.4.3.2
[SB] The reference is to F.5.3.2 from 1800-2009
Regards,
Shalom
---------------------------------------------------------------------
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.