RE: [sv-ac] 805 in draft3 review

AC committee,

I am preparing a draft 3a today, which is the draft that the IEEE will make
available for sale.  If these two issues pointed out by Bassam are problems
with how I implemented a Mantis item, I can correct them in draft 3a.  That
will allow closing out the Mantis item (assuming I get it right in draft 3a.

If you want me to make these corrections, please send me explicit directions
on what to change by the end of today.

Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
Sutherland HDL, Inc.
stuart@sutherland-hdl.com
503-692-0898
 

> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Bassam Tabbara
> Sent: Tuesday, May 29, 2007 8:22 AM
> To: john.havlicek@freescale.com; sv-ac@server.eda-stds.org
> Cc: Bassam.tabbara@synopsys.com
> Subject: Re: [sv-ac] 805 in draft3 review
> 
> Hi John,
> 
> I do see the changes now, please strike out my issue 3 -- not 
> sure why I missed first time around.
> 
> THX. 
> -Bassam
> 
> -----Original Message-----
> From: John Havlicek <john.havlicek@freescale.com>
> To: sv-ac@eda-stds.org <sv-ac@eda-stds.org>
> CC: Bassam.Tabbara@synopsys.COM <Bassam.Tabbara@synopsys.COM>
> Sent: Mon May 28 12:50:36 2007
> Subject: Re: [sv-ac] 805 in draft3 review
> 
> All:
> 
> I have reviewed the Draft 3 implementations of the feedback comments
> for 0805, and I agree with Bassam's issues 1 and 2.  
> 
> I don't understand Bassam's issue 3.  It looks to me as though the 
> changes from the mantis proposal are there in Draft 3.  
> 
> Bassam, can you double check on issue 3, and if you still think there
> is an issue, can you say more precisely what is missing?
> 
> J.H.
> 
> > X-Authentication-Warning: server.eda-stds.org: majordom set 
> sender to owner-sv-ac@eda.org using -f
> > x-mimeole: Produced By Microsoft Exchange V6.5
> > Content-class: urn:content-classes:message
> > Date: Sat, 19 May 2007 19:40:26 -0700
> > Thread-Topic: 805 in draft3 review
> > Thread-Index: AceaiDjwI1wqyeBfQ1SNadMdsENoxA==
> > From: "Bassam Tabbara" <Bassam.Tabbara@synopsys.com>
> > X-OriginalArrivalTime: 20 May 2007 02:40:29.0312 (UTC) 
> FILETIME=[3A9FA800:01C79A88]
> > X-eda.org-MailScanner: Found to be clean, Found to be clean
> > X-Spam-Status: No, No
> > Sender: owner-sv-ac@eda.org
> > X-eda.org-MailScanner-Information: Please contact the ISP 
> for more information
> > X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> > 
> > This is a multi-part message in MIME format.
> > 
> > ------_=_NextPart_001_01C79A88.3A1DBD20
> > Content-Type: text/plain;
> > 	charset="US-ASCII"
> > Content-Transfer-Encoding: quoted-printable
> > 
> > ** Sending as email until we collect all issues and post as bugnote.
> > 
> > Issue 1: F3.3.1
> > 
> > T is said to pass on w if w |=3D T. T is said to be disabled on
> > 
> > w if w |=3D^d T. T is said to fail on w if T neither passes nor
> > 
> > is disabled on w. It can be proved that T cannot both pass and be
> > 
> > disabled on w.
> > 
> > which appears in Mantis 0805 just prior to "Neutral satisfaction of
> > properties is defined as follows:"
> > 
> > Appears here before "Neutral satisfaction of top-level properties is
> > defined as follows:"
> > 
> > Issue 2: F3.3.1 "w |=3D^d T" in text above appears with 
> literally "^"
> > meant for superscript of course
> > 
> > Issue 3: F3.6.1 does not have the 805 changes (under E3.6.1 
> of proposal
> > and found in draft1)
> > 
> > 
> > Thx.
> > -Bassam.
> 
> -- This message has been scanned for viruses anddangerous 
> content by MailScanner, and isbelieved to be clean.
> 
> 
> 



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