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.