RE: Email vote due Monday July 16th

From: Jim Vellenga <vellenga@cadence.com>
Date: Fri Jul 13 2012 - 07:51:56 PDT

2559 -- I am in favor of the proposal uploaded on July 11, but since it lacks the 1-week notice, I believe we have to vote on it again.

4144 -- Disapproved. The change to the first paragraph is clean, but the proposed change to the second paragraph is still inaccurate.

3525 -- Abstain (no objection)

4128 -- Approved, although noting Brad's objection

3879 -- Approved

Jim Vellenga

From: owner-sv-xc@eda.org [mailto:owner-sv-xc@eda.org] On Behalf Of Rich, Dave
Sent: Tuesday, 10 Jul 2012 12:59 PM
To: sv-xc@eda.org
Subject: Email vote due Monday July 16th

Please respond by Monday, July 16th at 9:00am PDT
ID<http://www.eda-twiki.org/svdb/view_all_set.php?sort=id&dir=DESC&type=2>

Type<http://www.eda-twiki.org/svdb/view_all_set.php?sort=custom_Type&dir=DESC&type=2>

Category<http://www.eda-twiki.org/svdb/view_all_set.php?sort=category&dir=DESC&type=2>

Summary<http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2>

0002559<http://www.eda-twiki.org/svdb/view.php?id=2559>

Errata

SV-EC

2012 Ballot comments 22,33: Wrong LRM example in section 9.7

0004144<http://www.eda-twiki.org/svdb/view.php?id=4144>

Errata

SV-EC

2012 Ballot comments 16 & 17. Probability in 18.5.10 not correct

0003525<http://www.eda-twiki.org/svdb/view.php?id=3525>

Errata

SV-AC

2012 Ballot comment 41: property_statement should not be part of property_expr

0004128<http://www.eda-twiki.org/svdb/view.php?id=4128>

Errata

SV-EC

2012 Ballot comment 49: Global constants should be allowed as variables in a covergroup_expression

0003879<http://www.eda-twiki.org/svdb/view.php?id=3879>

Clarification

SV-AC

2012 Ballot comment 40: Return value of sequence methods should be well-defined

Dave Rich
Verification Technologist
Mentor Graphics Corporation
[cid:image001.png@01CD60E5.858E1170]<http://www.twitter.com/dave_59>[cid:image002.png@01CD60E5.858E1170]<http://go.mentor.com/drich>

image001.png
image002.png
Received on Fri Jul 13 07:52:07 2012

This archive was generated by hypermail 2.1.8 : Fri Jul 13 2012 - 07:52:08 PDT