[sv-ec] request for review: [P1800] IEEE P1800 Draft 8 Available for Download

From: Mehdi Mohtashemi <Mehdi.Mohtashemi_at_.....>
Date: Fri Dec 05 2008 - 14:29:19 PST
All,
 As you are aware by now draft 8 of the IEEE P1800 SystemVerilog specification
 is available for download from the IEEE working group site. I have appended
 the info at the end of this email.
 P1800 WG has given time for each committee members to review draft 8,
 in particular the changes related to 'ensure' to 'guarantee'.

 Following is the comments by Gord regarding one of these instances,
 and the recommendation by Neil as to the new wording.  This is related
 to LRM draft 8  section: 18.14.1.

 Please review Gord's original text and Neil's new text.

 I believe this new text is reasonable and should not effect the
 LRM adversely. I would like to probe the committee to see if
 this would cause any problem, however, I do not feel that we
 would need to vote on this issue.

 Please let me (you can copy the reflector) know if you think
 otherwise and if this will cause any problem.
thanks,
- Mehdi

From:
    Object stability can be achieved as long as object and thread creation
    and random number generation are done in the same order as before
suggest change To:
    Object stability shall be preserved when object and thread creation
    and random number generation are done in the same order as before

============================================================
From: owner-ieee1800@eda.org<mailto:owner-ieee1800@eda.org> [owner-ieee1800@eda.org] On
Behalf Of Neil Korpusik [Neil.Korpusik@Sun.com]
Sent: Thursday, December 04, 2008 1:19 PM
To: Gordon Vreugdenhil
Cc: Brophy, Dennis; IEEE P1800 Working Group; sv-ec@eda.org<mailto:sv-ec@eda.org>
Subject: Re: [sv-ec] Re: [P1800] IEEE P1800 Draft 8 Available for Download
Hi Gord,
Thanks for reviewing those changes.
Something like the following might be beter.
From:
    Object stability can be achieved as long as object and thread creation
    and random number generation are done in the same order as before
To:
    Object stability shall be preserved when object and thread creation
    and random number generation are done in the same order as before
Neil

========================================================
From: owner-sv-ec@eda.org<mailto:owner-sv-ec@eda.org> [owner-sv-ec@eda.org] On Behalf Of
Gordon Vreugdenhil [gordonv@model.com]
Sent: Thursday, December 04, 2008 1:06 PM
To: Brophy, Dennis
Cc: IEEE P1800 Working Group; sv-ec@eda.org<mailto:sv-ec@eda.org>
Subject: [sv-ec] Re: [P1800] IEEE P1800 Draft 8 Available for Download
...
I reviewed the ensure/guaranteed changes.  There was one that bothers
me a bit.  In 18.14.1, the following change was made:
    Object stability is guaranteed as long as object and thread creation
    and random number generation are done in the same order as before
TO:
    Object stability can be achieved as long as object and thread creation
    and random number generation are done in the same order as before
That seems somewhat more weak that what I'd like to see here.
The point of the original is that an implementation is *obligated*
to preserve object stability under the given conditions.  It is
less clear that this is an implementation compliance statement in
the rewording.
Gord.

=========================================================
From: owner-ieee1800@eda.org<mailto:owner-ieee1800@eda.org> [owner-ieee1800@eda.org] On
Behalf Of Brophy, Dennis [dennisb@model.com]
Sent: Thursday, December 04, 2008 10:16 AM
To: IEEE P1800 Working Group; sv-ac@eda.org<mailto:sv-ac@eda.org>; sv-bc@eda.org<mailto:sv-bc@eda.org>;
sv-cc@eda.org<mailto:sv-cc@eda.org>; sv-ec@eda.org<mailto:sv-ec@eda.org>; sv-xc@eda.org<mailto:sv-xc@eda.org>
Subject: [P1800] IEEE P1800 Draft 8 Available for Download

All,
Draft 8 of the IEEE P1800 SystemVerilog specification is available for download
from the IEEE working group site (login required) and eda.org (document password required).
The passwords for all access methods remain the same as you used for Draft 7.
This morning the Working Group agreed to allow the committees to have a chance
to review the set of changes that have gone into Draft 8.  In particular, the
IEEE has requested that the words "ensure" and "guarantee" be changed in several
places. The Editor has made changes based on this request. Some of those changes
could have potentially changed the original intent.
No other feedback is being accepted by the Editor at this time. Only feedback on
those changes that have been made while going from Draft 7 to Draft 8 will
be allowed. This feedback is due by December 19, 2008.  Any changes required
are expected to be available in an updated draft around Jan 5, 2009.

Password Free LRM:
http://grouper.ieee.org/groups/1800/private/P1800-2009-draft8-preliminary.pdf
   Site Login – Contact Karen Pieper
Password Protected LRM:
http://www.eda.org/pub/sv-ieee1800/Specifications/P1800-2009-draft8-preliminary-PROTECTED.pdf

   Open Password – Contact Karen Pieper
Let me know if you have any problems downloading the drafts.
-Dennis
==============================================================

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Dec 5 14:30:06 2008

This archive was generated by hypermail 2.1.8 : Fri Dec 05 2008 - 14:30:37 PST