RE: Email ballot due July 9th

From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
Date: Thu Jun 28 2012 - 06:52:37 PDT

Thanks, Jim,

I uploaded the updated version: http://www.eda-stds.org/mantis/file_download.php?file_id=5797&type=bug

Dmitry

From: owner-sv-xc@eda.org [mailto:owner-sv-xc@eda.org] On Behalf Of Jim Vellenga
Sent: Thursday, June 28, 2012 16:40
To: Rich, Dave; sv-xc@eda.org
Subject: RE: Email ballot due July 9th

I have suggested a correction (mostly cosmetic) in the form of a Note added to 4012, but it seems necessary in terms of the explanatory material.

Jim Vellenga

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, 27 Jun 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>

---------------------------------------------------------------------
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.

image001.png
image002.png
Received on Thu Jun 28 06:52:44 2012

This archive was generated by hypermail 2.1.8 : Thu Jun 28 2012 - 06:52:44 PDT