Date: Tue Jul 17 2012 - 03:56:43 PDT
3030 is in both lists.
From: owner-sv-xc@eda.org [mailto:owner-sv-xc@eda.org] On Behalf Of Rich, Dave
Sent: Tuesday, July 17, 2012 03:20
To: sv-xc@eda.org
Subject: E-mail vote due 7/23
This e-mail vote is due Monday July 23 at 8:00am PDT, one hour before our next scheduled meeting. This e-mail vote represents all remaining unresolved ballot comments. If I have missed any, please let me know. The WG asked that 4252 be added to the list of LRM changes to the next draft
The following have proposals ready to be reviewed.
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>
Summary<http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2&print=1>
0004144<http://www.eda-twiki.org/svdb/view.php?id=4144>
SV-EC
2012 Ballot comments 16 & 17. Probability in 18.5.10 not correct
0003659<http://www.eda-twiki.org/svdb/view.php?id=3659>
SV-EC
2012 Ballot comment 25: Wildcard bin expansion/naming mechanism
0004252<http://www.eda-twiki.org/svdb/view.php?id=4252>
SV-AC
Inconsistency related to use of automatic variables in sampled value functions
0004129<http://www.eda-twiki.org/svdb/view.php?id=4129>
SV-EC
2012 Ballot comment 50: Need to clarify ambiguous binding of matches operator
0003030<http://www.eda-twiki.org/svdb/view.php?id=3030>
SV-AC
2012 Ballot comment 45: Allow checker instantiation in functions and tasks
0003474<http://www.eda-twiki.org/svdb/view.php?id=3474>
SV-AC
2012 Ballot comment 54: Extend assertion control to apply to 'violation reports' for unique/priority case
The WG asked that we vote on the following issues to be left unresolved in the current PAR standard. The WG will provide the appropriate ballot responses as required by the IEEE. The subcommittees may continue to work on any unresolved issues for the next PAR, including drafting proposals; they just can't take any binding votes.
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>
Summary<http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2&print=1>
0003030<http://www.eda-twiki.org/svdb/view.php?id=3030>
SV-AC
2012 Ballot comment 45: Allow checker instantiation in functions and tasks
0003032<http://www.eda-twiki.org/svdb/view.php?id=3032>
SV-AC
2012 Ballot comment 44: Allow forcing in checkers
0002182<http://www.eda-twiki.org/svdb/view.php?id=2182>
SV-CC
2012 Ballot comment 56: Elaborate VPI diagrams for checkers
Thank you all for your time and effort. If we can get all these issues resolved by the meeting on the 23rd, it will be our last meeting.
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.
