Date: Sun Jul 22 2012 - 15:41:32 PDT
My votes on the proposals:
4144: YES
3659: ABSTAIN
4252: ABSTAIN
4129: ABSTAIN
3447: ABSTAIN
I don't know enough about the subjects of these proposals to judge them.
My votes on leaving items unresolved in the current PAR standard is
3030: YES
3032: YES
2182: YES
From: owner-sv-xc@eda.org [mailto:owner-sv-xc@eda.org] On Behalf Of Rich, Dave
Sent: Tuesday, July 17, 2012 3:20 AM
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
[cid:image001.png@01CD6836.F5E487D0]<http://www.twitter.com/dave_59>[cid:image002.png@01CD6836.F5E487D0]<http://go.mentor.com/drich>
