RE: [sv-ac] notes on 1648

Hi John, Ed,

Could we just delete the last note?

"One such form is as indicated in a8. Other equivalent forms may be
used, such as ((rst != 'b0) !== 1'b1). Note that for use with formal or
emulation tools that use two-valued representation of variables, the
enabling condition for the assertion may be inferred as !rst."

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Tuesday, June 12, 2007 3:43 AM
To: Eduard.Cerny@synopsys.com
Cc: john.havlicek@freescale.com; sv-ac@server.eda-stds.org
Subject: 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.

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