4144: no similar reasons as Kaiming.
others : yes
Francoise
'
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:156034213@16072012-193B]<http://www.twitter.com/dave_59>[cid:156034213@16072012-1942]<http://go.mentor.com/drich>
This archive was generated by hypermail 2.1.8 : Mon Jul 16 2012 - 06:44:44 PDT