Hi, Gord, Can you reword the sentence, perhaps using "shall" to indicate the obligation? Thanks, Karen ----- Original Message ---- From: Gordon Vreugdenhil <gordonv@model.com> To: "Brophy, Dennis" <dennisb@model.com> Cc: IEEE P1800 Working Group <ieee1800@server.eda.org>; sv-ec@server.eda.org Sent: Thursday, December 4, 2008 1:06:21 PM Subject: [sv-ec] Re: [P1800] IEEE P1800 Draft 8 Available for Download Brophy, Dennis wrote: > All, > > Draft 8 of the IEEE P1800 SystemVerilog specification is available for download from the IEEE working group site (login required) and eda.org <http://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. 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. -- -------------------------------------------------------------------- Gordon Vreugdenhil 503-685-0808 Model Technology (Mentor Graphics) gordonv@model.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Dec 4 13:26:07 2008
This archive was generated by hypermail 2.1.8 : Thu Dec 04 2008 - 13:28:28 PST