0002559 - yes
0004144 - no, I too would like to see Kaiming comment addressed
0003525 - yes
0004128 - yes
0003879 - yes
From: owner-sv-xc@eda.org [mailto:owner-sv-xc@eda.org] On Behalf Of Rich, Dave
Sent: Tuesday, July 10, 2012 9:59 AM
To: sv-xc@eda.org
Subject: 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>
This archive was generated by hypermail 2.1.8 : Fri Jul 13 2012 - 23:26:40 PDT