Date: Mon Jul 16 2012 - 07:06:13 PDT
I am on vacation and have not looked at some of these.
So I abstain on 2559 and 4144 and vote yes on the others.
Shalom
From: owner-sv-champions@eda.org<mailto:owner-sv-champions@eda.org> [mailto:owner-sv-champions@eda.org]<mailto:[mailto:owner-sv-champions@eda.org]> On Behalf Of Rich, Dave
Sent: Tuesday, July 10, 2012 12:59
To: sv-xc@eda.org<mailto:sv-xc@eda.org>
Subject: [sv-champions] Email vote due Monday July 16th
Please respond by Monday, July 16th at 9:00am PDT
ID<http://www.eda-twiki.org/svdb/view_all_set.php?sort=id&dir=DESC&type=2>
Type<http://www.eda-twiki.org/svdb/view_all_set.php?sort=custom_Type&dir=DESC&type=2>
Category<http://www.eda-twiki.org/svdb/view_all_set.php?sort=category&dir=DESC&type=2>
Summary<http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2>
0002559<http://www.eda-twiki.org/svdb/view.php?id=2559>
Errata
SV-EC
2012 Ballot comments 22,33: Wrong LRM example in section 9.7
0004144<http://www.eda-twiki.org/svdb/view.php?id=4144>
Errata
SV-EC
2012 Ballot comments 16 & 17. Probability in 18.5.10 not correct
0003525<http://www.eda-twiki.org/svdb/view.php?id=3525>
Errata
SV-AC
2012 Ballot comment 41: property_statement should not be part of property_expr
0004128<http://www.eda-twiki.org/svdb/view.php?id=4128>
Errata
SV-EC
2012 Ballot comment 49: Global constants should be allowed as variables in a covergroup_expression
0003879<http://www.eda-twiki.org/svdb/view.php?id=3879>
Clarification
SV-AC
2012 Ballot comment 40: Return value of sequence methods should be well-defined
Dave Rich
Verification Technologist
Mentor Graphics Corporation
[Description: Description: Twitter-32]<http://www.twitter.com/dave_59>[Description: Description: Technorati-32]<http://go.mentor.com/drich>
---------------------------------------------------------------------
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.
