Date: Mon Jul 09 2012 - 00:03:20 PDT
I, too, abstain on 4012 and 4076 due to lack of expertise. I vote for 4141 and 4146.
-- Matt Maidment mmaidmen@ichips.intel.com From: owner-sv-xc@eda.org [mailto:owner-sv-xc@eda.org] On Behalf Of Steven Sharp Sent: Thursday, July 05, 2012 9:26 AM To: Rich, Dave; sv-xc@eda.org Subject: RE: Email ballot due July 9th I abstain on 4012 and 4076 because I don't have a good enough knowledge of these areas to be certain that the proposals are completely correct. I vote in favor of 4141 and 4146. From: owner-sv-xc@eda.org<mailto:owner-sv-xc@eda.org> [mailto:owner-sv-xc@eda.org]<mailto:[mailto:owner-sv-xc@eda.org]> On Behalf Of Rich, Dave Sent: Wednesday, June 27, 2012 4:18 AM To: sv-xc@eda.org<mailto:sv-xc@eda.org> Subject: Email ballot due July 9th The following issue are now up for an e-mail vote due July 9th at 8:00am PDT 0004012<http://www.eda-twiki.org/svdb/view.php?id=4012>Ballot comment 46: Complex checker example has redundant code 0004076<http://www.eda-twiki.org/svdb/view.php?id=4076>Ballot comments 19, 20, 39: Inconsistency in description of sequence methods 0004141<http://www.eda-twiki.org/svdb/view.php?id=4141>Ballot comment 3: "terminating character" in description of string len() method is not clear 0004146<http://www.eda-twiki.org/svdb/view.php?id=4146>Ballot comment 10: confusing definitions on p2 If have missed any that are ready to vote on, please tell me before anyone has responded with a vote and I'll add it to the ballot. 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>
