Date: Wed Jul 11 2012 - 23:23:40 PDT
Here is a list of Mantis issues ready to be approved by the WG. All of these issues have proposed changes to the LRM.
ID<http://www.eda-twiki.org/svdb/view_all_set.php?sort=id&dir=DESC&type=2&print=1>
Category<http://www.eda-twiki.org/svdb/view_all_set.php?sort=category&dir=DESC&type=2&print=1>
Severity<http://www.eda-twiki.org/svdb/view_all_set.php?sort=severity&dir=DESC&type=2&print=1>
Status<http://www.eda-twiki.org/svdb/view_all_set.php?sort=status&dir=DESC&type=2&print=1>
Updated<http://www.eda-twiki.org/svdb/view_all_set.php?sort=last_updated&dir=DESC&type=2&print=1>
Summary<http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2&print=1>
0004012<http://www.eda-twiki.org/svdb/view.php?id=4012>
SV-AC
minor
resolved (Dmitry Korchemny)
2012-07-10
2012 Ballot comment 46: Complex checker example has redundant code
0002867<http://www.eda-twiki.org/svdb/view.php?id=2867>
SV-EC
major
resolved (Shalom Bresticker)
2012-07-09
2012 Ballot comments 26, 31: no BNF for pure virtual methods
0004126<http://www.eda-twiki.org/svdb/view.php?id=4126>
SV-BC
minor
resolved (Brad Pierce)
2012-07-09
2012 Ballot comments 34, 35: allow for-loop initialization, step, termination statements to be null
0004146<http://www.eda-twiki.org/svdb/view.php?id=4146>
SV-BC
minor
resolved (Brad Pierce)
2012-07-09
2012 Ballot comment 10: confusing definitions on p2
0004141<http://www.eda-twiki.org/svdb/view.php?id=4141>
SV-EC
minor
resolved (Françoise Martinolle)
2012-07-09
2012 Ballot comment 3: "terminating character" in description of string len() method is not clear
0004076<http://www.eda-twiki.org/svdb/view.php?id=4076>
SV-AC
minor
resolved (Dana Fisman)
2012-07-09
2012 Ballot comments 19, 20, 39: Inconsistency in description of sequence methods
0004131<http://www.eda-twiki.org/svdb/view.php?id=4131>
SV-EC
major
resolved (Shalom Bresticker)
2012-07-09
2012 Ballot comment 58: function prototype syntax requires parentheses after function_identifier even if argument list is empty
0002840<http://www.eda-twiki.org/svdb/view.php?id=2840>
SV-EC
major
resolved (Brad Pierce)
2012-07-09
2012 Ballot comment 28: Virtual interface datatype BNF incomplete
0003982<http://www.eda-twiki.org/svdb/view.php?id=3982>
SV-EC
minor
resolved (Shalom Bresticker)
2012-07-09
2012 Ballot comment 36: clocking_decl_assign allows expression or just hierachical_identifier
0004127<http://www.eda-twiki.org/svdb/view.php?id=4127>
SV-EC
major
resolved (Shalom Bresticker)
2012-07-09
2012 Ballot comments 23, 48: difference between BNF and example whether data_type appears before or after cover_point_identifier
0004145<http://www.eda-twiki.org/svdb/view.php?id=4145>
SV-BC
minor
resolved (Brad Pierce)
2012-07-09
2012 Ballot comment 13. What does "variation" mean in 23.11
0003940<http://www.eda-twiki.org/svdb/view.php?id=3940>
SV-AC
minor
resolved (Anupam Prabhakar)
2012-06-27
2012 Ballot comment 18: Clarify that the scope of a clocking event flows left to right across an instance of a property also.
0003298<http://www.eda-twiki.org/svdb/view.php?id=3298>
SV-EC
trivial
resolved (Dave Rich)
2012-06-19
2012 Ballot comment 24: Use of 'this' in a coverpoint expression
0004138<http://www.eda-twiki.org/svdb/view.php?id=4138>
SV-EC
minor
resolved (Brad Pierce)
2012-06-19
2012 Ballot comment 53: cross type compatibility inconsistency
0003065<http://www.eda-twiki.org/svdb/view.php?id=3065>
SV-EC
major
resolved (mmaidment)
2012-06-19
2012 Ballot comment 59: Peculiar BNF for hierarchical_btf_identifier
0003710<http://www.eda-twiki.org/svdb/view.php?id=3710>
SV-EC
minor
resolved (Dave Rich)
2012-06-19
2012 Ballot comment 32: Example may work wrong, negative values may be generated while positive expected when using $random %
0004120<http://www.eda-twiki.org/svdb/view.php?id=4120>
SV-DC
major
resolved (Neil Korpusik)
2012-06-19
2012 Ballot comments 21,27: mistake in 6.6.8 code example of generic interconnect from 0003724<http://www.eda-twiki.org/svdb/view.php?id=3724>
0003127<http://www.eda-twiki.org/svdb/view.php?id=3127>
SV-CC
feature
resolved (Jim Vellenga)
2012-06-19
2012 Ballot comment 57: cbStartOfReset and cbEndOfReset callbacks are not documented
0003505<http://www.eda-twiki.org/svdb/view.php?id=3505>
SV-BC
major
resolved (mmaidment)
2012-06-19
2012 Ballot comment 60: $ missing from param_expression
0003968<http://www.eda-twiki.org/svdb/view.php?id=3968>
SV-AC
minor
resolved (Brad Pierce)
2012-06-19
2012 Ballot comment 38: sequence_formal_type includes redundant 'event'
0004045<http://www.eda-twiki.org/svdb/view.php?id=4045>
SV-AC
major
resolved (Brad Pierce)
2012-06-19
2012 Ballot comment 43: checker_declaration BNF does not allow nested checker declaration
0003394<http://www.eda-twiki.org/svdb/view.php?id=3394>
SV-EC
minor
resolved (Shalom Bresticker)
2012-07-09
2012 Ballot comment 30: invalid example for dynamic array
Three issues will not be resolved in in this ballot as the technical committee believes they are beyond the scope of what they can address in this PAR and we need approved responses for these issues.
ID<http://www.eda-twiki.org/svdb/view_all_set.php?sort=id&dir=DESC&type=2&print=1>
Category<http://www.eda-twiki.org/svdb/view_all_set.php?sort=category&dir=DESC&type=2&print=1>
Severity<http://www.eda-twiki.org/svdb/view_all_set.php?sort=severity&dir=DESC&type=2&print=1>
Status<http://www.eda-twiki.org/svdb/view_all_set.php?sort=status&dir=DESC&type=2&print=1>
Updated<http://www.eda-twiki.org/svdb/view_all_set.php?sort=last_updated&dir=DESC&type=2&print=1>
Summary<http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2&print=1>
0003032<http://www.eda-twiki.org/svdb/view.php?id=3032>
SV-AC
feature
assigned (Dmitry Korchemny)
2012-07-09
2012 Ballot comment 44: Allow forcing in checkers
0003030<http://www.eda-twiki.org/svdb/view.php?id=3030>
SV-AC
feature
assigned (Dmitry Korchemny)
2012-07-09
2012 Ballot comment 45: Allow checker instantiation in functions and tasks
0002182<http://www.eda-twiki.org/svdb/view.php?id=2182>
SV-CC
major
new
2012-07-09
2012 Ballot comment 56: Elaborate VPI diagrams for checkers
5 issues are currently in an e-mail vote in progress.
3 issues have proposals in final review
1 issue 0003474<http://www.eda-twiki.org/svdb/view.php?id=3474> from the SV-AC is still in heated debate and will need some compromises to be completed
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>
