Date: Mon Jul 23 2012 - 06:48:53 PDT
Hi,
I just got back from vacation and did not have enough time to review 4144 and 3659, so I abstain on those.
I approve 3474 with the following friendly amendments:
At the top of page 3, "(which is same as Unique|Unique0)" should say "is the same".
Near the top of page 4, "Once an $assertcontrol with control_type of value 1 (Lock) is applied to an assertion, expect statement or violation reports" should say "violation report" (singular).
In the middle of page 4, in the description of "Off", "A value of 4 for this argument shall also disable the violation reporting from all the specified violation report types. Currently queued violation reports are not flushed and may still mature, though no new violation reports shall be added to the pending violation report queue until a subsequent $assertcontrol with a control_type value of 3 (On).The violation reporting can be re-enabled subsequently by $assertcontrol with a control_type value of 3 (On),"
the last sentence quoted is redundant. It repeats the previous sentence and earlier sentences and should be deleted. Otherwise, the text is awkward.
At the bottom of page 5, "End" should be "end".
I approve the other proposals.
Shalom
From: owner-sv-xc@eda.org [mailto:owner-sv-xc@eda.org] On Behalf Of Rich, Dave
Sent: Tuesday, July 17, 2012 10: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.
