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




On 12/04/08 13:06, Gordon Vreugdenhil wrote:
> 
> 
> 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.
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.