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

From: Gordon Vreugdenhil <gordonv_at_.....>
Date: Thu Dec 04 2008 - 14:02:11 PST
Excellent suggestion Neil.  I would definitely be in favor of
your rewording.

Gord.

Neil Korpusik wrote:
> 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.
>>
> 

-- 
--------------------------------------------------------------------
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.
Received on Thu Dec 4 14:03:31 2008

This archive was generated by hypermail 2.1.8 : Thu Dec 04 2008 - 14:03:58 PST