Date: Tue Jun 19 2012 - 20:02:20 PDT
Dave,
I voted against 3525, so it did not pass. email votes need to be unanimous, don't they?
Shalom
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Rich, Dave
Sent: Wednesday, June 20, 2012 00:47
To: sv-xc@eda.org
Subject: [sv-champions] Results of Email Ballot due Monday June 18th
EDA.org Mantis - SystemVerilog P1800
Here are the ballot results<http://www.eda-twiki.org/svdb/search.php?project_id=2&status_id=80&sticky_issues=on&target_version=P1800-2012%2FD6+Recirc&sortby=last_updated&dir=DESC&hide_status_id=90>. I will send out a new ballot shortly with the issues that failed for a revote plus a few new ones. Sorry for the bad links, I will try to fix them next time.
ID<view_all_set.php?sort=id&dir=ASC&type=2&print=1>
Summary<view_all_set.php?sort=summary&dir=ASC&type=2&print=1>
0003525<view.php?id=3525> passed
2012 Ballot comment 41: property_statement should not be part of property_expr
0004045<view.php?id=4045> passed
2012 Ballot comment 43: checker_declaration BNF does not allow nested checker declaration
0003968<view.php?id=3968> passed
2012 Ballot comment 38: sequence_formal_type includes redundant 'event'
0003505<view.php?id=3505> passed
2012 Ballot comment 60: $ missing from param_expression
0004126<view.php?id=4126>
failed
2012 Ballot comments 34, 35: allow for-loop initialization, step, termination statements to be null
0004146<view.php?id=4146>
failed
2012 Ballot comment 10: confusing definitions on p2
0004145<view.php?id=4145>
failed
2012 Ballot comment 13. What does "variation" mean in 23.11
0003127<view.php?id=3127>
passed
2012 Ballot comment 57: cbStartOfReset and cbEndOfReset callbacks are not documented
0004120<view.php?id=4120> passed
2012 Ballot comments 21,27: mistake in 6.6.8 code example of generic interconnect from 0003724<view.php?id=3724>
0004127<view.php?id=4127>
failed
2012 Ballot comments 23, 48: difference between BNF and example whether data_type appears before or after cover_point_identifier
0003710<view.php?id=3710>
passed
2012 Ballot comment 32: Example may work wrong, negative values may be generated while positive expected when using $random %
0003982<view.php?id=3982>
failed
2012 Ballot comment 36: clocking_decl_assign allows expression or just hierachical_identifier
0003065<view.php?id=3065>
passed
2012 Ballot comment 59: Peculiar BNF for hierarchical_btf_identifier
0002840<view.php?id=2840>
failed
2012 Ballot comment 28: Virtual interface datatype BNF incomplete
0004138<view.php?id=4138>
passed
2012 Ballot comment 53: cross type compatibility inconsistency
0004129<view.php?id=4129>
failed
2012 Ballot comment 50: Need to clarify ambiguous binding of matches operator
0003298<view.php?id=3298>
passed
2012 Ballot comment 24: Use of 'this' in a coverpoint expression
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.
