Re: [sv-ac] notes on 1648

Hi Ed:

I noticed one typo (maybe it was mine):  Change

   does not depend on the position of the declaration item with the

to 

   does not depend on the position of the declaration item within the

I'm still concerned about the statement on the inferred enabling
condition for two-state tools.  To my knowledge, this topic is not
discussed in the general presentation of inferred enabling conditions.
Am I wrong?  If not, it should be discussed there too.

J.H.

> X-MIMEOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Mon, 11 Jun 2007 14:35:14 -0700
> X-MS-Has-Attach: yes
> Thread-Topic: [sv-ac] notes on 1648
> Thread-Index: AcesUdkJCmR/KCX5Qwe1KIsOn+J0HgAHmuBg
> From: "Eduard Cerny" <Eduard.Cerny@synopsys.com>
> X-OriginalArrivalTime: 11 Jun 2007 21:35:16.0647 (UTC) FILETIME=[66ECFB70:01C7AC70]
> 
> This is a multi-part message in MIME format.
> 
> ------_=_NextPart_001_01C7AC70.6674937E
> Content-Type: text/plain;
> 	charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> Hello John et al,
> 
> please find attached a modified proposal based on John's
> recommendations. Let me know if it is acceptable. I also uploaded that
> to Mantis and deleted the old proposals.
> 
> Best regards,
> ed=20
> 

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