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

From: Karen Pieper <karen_l_pieper_at_.....>
Date: Thu Dec 04 2008 - 13:23:45 PST
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