Date: Mon Jul 16 2012 - 05:10:17 PDT
Hi Dave,
I approve 2559, 3525, 4128, 3879.
I vote no on 4144:
The sentence "d != 0 shall occur for the other 50%" is not accurate since d != 0 occurs slightly less than 50% since when s = 1 d is always 0. It may be clearer to talk in terms of conditional probabilities.
Thanks,
Dmitry
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Rich, Dave
Sent: Tuesday, July 10, 2012 19:59
To: sv-xc@eda.org
Subject: [sv-champions] 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
[Description: Description: Twitter-32]<http://www.twitter.com/dave_59>[Description: Description: Technorati-32]<http://go.mentor.com/drich>
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
