RE: [sv-ac] revised 1326

John, looks good. The "In particular, goto..." bugs me for some reason,
may be change to "Moreover, goto ..." ?

Thx.
-Bassam.

-----Original Message-----
From: owner-sv-ac@eda-stds.org [mailto:owner-sv-ac@eda-stds.org] On
Behalf Of John Havlicek
Sent: Thursday, June 22, 2006 1:25 PM
To: Eduard.Cerny@synopsys.COM
Cc: john.havlicek@freescale.com; sv-ac@eda-stds.org
Subject: Re: [sv-ac] revised 1326

Hi Ed:

Yes, your example is legal and it looks nicer, so I changed the Mantis
proposal to use it.

Sorry for the swirl, but it is a minor change.

J.H.

> X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0
> Content-class: urn:content-classes:message
> Date: Thu, 22 Jun 2006 08:49:20 -0700
> Thread-Topic: [sv-ac] revised 1326
> Thread-Index: AcaWBukU2pmf3EmVQg+7Gd2Eq708UQADFG9w
> From: "Eduard Cerny" <Eduard.Cerny@synopsys.com>
> X-OriginalArrivalTime: 22 Jun 2006 15:49:21.0211 (UTC) 
> FILETIME=[6D7D48B0:01C69613]
> 
> Hi John,
> 
> an alternate soltion for the legal example could also be
> 
> (b[->1], v =3D e)[*2]=20
> 
> I think that this would be legal too.
> 
> ed
> =20
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda-stds.org=20
> > [mailto:owner-sv-ac@eda-stds.org] On Behalf Of John Havlicek
> > Sent: Thursday, June 22, 2006 10:18 AM
> > To: sv-ac@eda-stds.org
> > Subject: [sv-ac] revised 1326
> >=20
> > All:
> >=20
> > I have updated the proposed resolution for 1326 on Mantis.
> >=20
> > J.H.
> >=20