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