RE: [sv-ac] 1704 proposal

Hi Lisa, John,

I meant to add this comment to section 17.8.

Dmitry

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Tuesday, January 23, 2007 6:16 PM
To: piper@cadence.com; Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] 1704 proposal

Hi Lisa, Dmitry:

My opinion is that it is not necessary to add a sentence specifically
about local variable assignments in 17.9.  This might be confusing,
raising the question, "what about other sequence match items?"

However, we probably need to scan through the other parts of Section
17, in particular the description of local variable flow, to see 
if there are other places where we need to clarify regarding empty
match.

E.g., I imagine  some text like the following being added somewhere:

   A local variable that is assigned within a subsequence 
   does not flow out of an empty match of that subsequence.

J.H.


> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Tue, 23 Jan 2007 10:37:27 -0500
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] 1704 proposal
> Thread-Index: Acc9pzJ7hvlNNYNkQ2+/JsBjEA3dRgBLHJogAAwaDkA=
> From: "Lisa Piper" <piper@cadence.com>
> Cc: <sv-ac@eda-stds.org>
> X-Received: By mx-sanjose.cadence.com as l0NFbRGe001425 at Tue Jan 23
07:37:40 2007
> X-OriginalArrivalTime: 23 Jan 2007 15:37:48.0953 (UTC)
FILETIME=[6FAF5890:01C73F04]
> 
> This is a multi-part message in MIME format.
> 
> ------_=_NextPart_001_01C73F04.605EAD2F
> Content-Type: text/plain;
> 	charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> Dmitry,
> 
> =20
> 
> I thought assignment of a local variable was simply one form of
> "sequence_match_item".  Is that not the case?  I have no problem with
> adding it though.
> 
> =20
> 
> lisa
> 
> =20
> 
> ________________________________
> 
> From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]=20
> Sent: Tuesday, January 23, 2007 4:55 AM
> To: Lisa Piper; john.havlicek@freescale.com
> Cc: sv-ac@eda-stds.org
> Subject: RE: [sv-ac] 1704 proposal
> 
> =20
> 
> HI Lisa,
> 
> =20
> 
> It probably makes sense to add to your proposal a sentence about local
> variable assignment in case of an empty match. Though this behavior
> follows from the formal semantics definition, this point should be
made
> clear in the text itself. Of course, one can open an additional Mantis
> item for it, but it might also be included to yours.
> 
> =20
> 
> What do you think?
> 
> =20
> 
> Thanks,
> 
> Dmitry=20
> 
> =20
> 

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