Date: Mon Jul 23 2012 - 08:17:23 PDT
Votes:
4144: yes
3659: yes
4252: yes
4129: yes
3030: There is no proposal, I assume that we are voting to defer this to the next PAR?
3474: yes
unresolved state:
3030: (see comment above)
3032: yes
2182: yes
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:515572914@23072012-2683]<http://www.twitter.com/dave_59>[cid:515572914@23072012-268A]<http://go.mentor.com/drich>
