Date: Wed Jun 20 2012 - 01:15:48 PDT
This email ballot will close 1-hour before our next meeting. A few of these failed in the previous ballot and have new proposals or need new proposals. There are only two new issues.
ID<http://www.eda-twiki.org/svdb/view_all_set.php?sort=id&dir=ASC&type=2>[Description: http://www.eda-twiki.org/svdb/images/down.gif]
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>
Severity<http://www.eda-twiki.org/svdb/view_all_set.php?sort=severity&dir=DESC&type=2>
Status<http://www.eda-twiki.org/svdb/view_all_set.php?sort=status&dir=DESC&type=2>
Summary<http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2>
0004145<http://www.eda-twiki.org/svdb/view.php?id=4145>
Clarification
SV-BC
minor
assigned (Brad Pierce)
2012 Ballot comment 13. What does "variation" mean in 23.11
Failed: New proposal addresses all comments from previous vote
0004129<http://www.eda-twiki.org/svdb/view.php?id=4129>
Clarification
SV-EC
minor
assigned (Brad Pierce)
2012 Ballot comment 50: Need to clarify ambiguous binding of matches operator
Failed: See notes in Mantis
0004127<http://www.eda-twiki.org/svdb/view.php?id=4127>
Errata
SV-EC
major
assigned (Shalom Bresticker)
2012 Ballot comments 23, 48: difference between BNF and example whether data_type appears before or after cover_point_identifier
Failed: See notes in Mantis
0004126<http://www.eda-twiki.org/svdb/view.php?id=4126>
Enhancement
SV-BC
minor
assigned (Brad Pierce)
2012 Ballot comments 34, 35: allow for-loop initialization, step, termination statements to be null
Failed: New proposal addresses all comments from previous vote
0003982<http://www.eda-twiki.org/svdb/view.php?id=3982>
Errata
SV-EC
minor
assigned (Shalom Bresticker)
2012 Ballot comment 36: clocking_decl_assign allows expression or just hierachical_identifier
Failed: See note in mantis
0003940<http://www.eda-twiki.org/svdb/view.php?id=3940>
Clarification
SV-AC
minor
assigned (Anupam Prabhakar)
2012 Ballot comment 18: Clarify that the scope of a clocking event flows left to right across an instance of a property also.
New proposal
0003879<http://www.eda-twiki.org/svdb/view.php?id=3879>
Clarification
SV-AC
minor
assigned (Shalom Bresticker)
2012 Ballot comment 40: Return value of sequence methods should be well-defined
New proposal
0003525<http://www.eda-twiki.org/svdb/view.php?id=3525>
Errata
SV-AC
major
assigned (Ed Cerny)
2012 Ballot comment 41: property_statement should not be part of property_expr
Comments from Shalom:
I am not convinced that the so-called problem, "(not(not x;)) becomes valid property_expr", is really problematic. The BNF today allows redundant semicolon in various places. Also, it creates the back-compatibility problem that Dmitry noted. Also, it separates 'if-else' from 'case' in the BNF, and that is not very logical. I would prefer to leave the BNF as it is unless a stronger argument can be made for changing it and a better proposal.
0002840<http://www.eda-twiki.org/svdb/view.php?id=2840>
Errata
SV-EC
major
assigned (Brad Pierce)
2012 Ballot comment 28: Virtual interface datatype BNF incomplete
Failed: New proposal addresses all comments from previous vote
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>
