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.
This archive was generated by hypermail 2.1.8 : Thu Jun 28 2012 - 06:52:44 PDT