Date: Sat Jul 14 2012 - 19:18:29 PDT
2559: YES
4144: NO
The statement about the number of combinations of {s, d} needs to be clear that it is only talking about combinations where the constraint c is true. Otherwise it is wrong.
3525: ABSTAIN
I don't know enough about it to comment. I do note an editorial issue with the proposal. In the productions for property_declaration, the red crossed-out property_statement_spec has a crossed-out semicolon that was not present in the quoted original text. This could confuse the editor.
4128: YES
3879: YES
This proposal does call attention to the fact that the LRM refers to triggered as a "property" of an event (which it really isn't), while referring to triggered as a "method" of a sequence, which makes more sense.
From: owner-sv-xc@eda.org [mailto:owner-sv-xc@eda.org] On Behalf Of Rich, Dave
Sent: Tuesday, July 10, 2012 12:59 PM
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
[cid:image001.png@01CD61FC.EE2CAAD0]<http://www.twitter.com/dave_59>[cid:image002.png@01CD61FC.EE2CAAD0]<http://go.mentor.com/drich>
