Date: Wed Aug 08 2012 - 13:03:24 PDT
Folks,
Here are the remaining mantis issues requiring a change to the LRM that need the Work Group's approval.
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=ASC&type=2&print=1>[Description: http://www.eda-twiki.org/svdb/images/down.gif]
Summary<http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2&print=1>
0004252<http://www.eda-twiki.org/svdb/view.php?id=4252>
SV-AC
major
resolved (Dmitry Korchemny)
2012-07-24
Inconsistency related to use of automatic variables in sampled value functions
0004144<http://www.eda-twiki.org/svdb/view.php?id=4144>
SV-EC
minor
resolved (Dave Rich)
2012-07-24
2012 Ballot comments 16 & 17. Probability in 18.5.10 not correct
0004129<http://www.eda-twiki.org/svdb/view.php?id=4129>
SV-EC
minor
resolved (Brad Pierce)
2012-07-24
2012 Ballot comment 50: Need to clarify ambiguous binding of matches operator
0003659<http://www.eda-twiki.org/svdb/view.php?id=3659>
SV-EC
major
resolved (Swapnajit Chakraborti)
2012-07-24
2012 Ballot comment 25: Wildcard bin expansion/naming mechanism
0003474<http://www.eda-twiki.org/svdb/view.php?id=3474>
SV-AC
minor
resolved (Manisha Kulshrestha)
2012-07-24
2012 Ballot comment 54: Extend assertion control to apply to 'violation reports' for unique/priority case
0004128<http://www.eda-twiki.org/svdb/view.php?id=4128>
SV-EC
minor
resolved (Shalom Bresticker)
2012-07-16
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>
SV-AC
minor
resolved (Shalom Bresticker)
2012-07-16
2012 Ballot comment 40: Return value of sequence methods should be well-defined
0003525<http://www.eda-twiki.org/svdb/view.php?id=3525>
SV-AC
major
resolved (Ed Cerny)
2012-07-16
2012 Ballot comment 41: property_statement should not be part of property_expr
0002559<http://www.eda-twiki.org/svdb/view.php?id=2559>
SV-EC
minor
resolved (Dave Rich)
2012-07-16
2012 Ballot comments 22,33: Wrong LRM example in section 9.7
0003127<http://www.eda-twiki.org/svdb/view.php?id=3127>
SV-CC
feature
resolved (Jim Vellenga)
2012-07-12
2012 Ballot comment 57: cbStartOfReset and cbEndOfReset callbacks are not documented
0004130<http://www.eda-twiki.org/svdb/view.php?id=4130>
SV-CC
minor
resolved (Chuck_Berking)
2012-07-12
2012 Ballot comment 55: P1800-2012 does not define a VPI_COMPATIBILITY_ VERSION_1800v2012.
0004132<http://www.eda-twiki.org/svdb/view.php?id=4132>
SV-CC
minor
resolved (Michael Rohleder)
2012-07-12
2012 Ballot comment 61: svdpi.h has old-style function prototypes
The technical committee has agreed to leave the following issues unresolved in this revision of the standard.
0003030<http://www.eda-twiki.org/svdb/view.php?id=3030>EnhancementSV-ACfeatureassigned (Dmitry Korchemny)2012-07-142012 Ballot comment 45: Allow checker instantiation in functions and tasks
0003032<http://www.eda-twiki.org/svdb/view.php?id=3032>EnhancementSV-ACfeatureassigned (Dmitry Korchemny)2012-07-092012 Ballot comment 44: Allow forcing in checkers
0002182<http://www.eda-twiki.org/svdb/view.php?id=2182>EnhancementSV-CCmajornew2012-07-092012 Ballot comment 56: Elaborate VPI diagrams for checkers
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 message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
