Subject: [sv-ac] Fwd: Re: still didn't exclude empty match
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Thu Feb 26 2004 - 11:34:37 PST
Hi David,
Please include the changes below from John.
Thanks
Surrendra
>X-Authentication-Warning: us04.synopsys.com: iscan owned process doing -bs
>Date: Wed, 25 Feb 2004 20:40:34 -0600 (CST)
>To: surrendra.dudani@synopsys.COM
>Cc: john.havlicek@motorola.com, David.Smith@synopsys.COM
>Subject: Re: still didn't exclude empty match
>From: John Havlicek <john.havlicek@motorola.com>
>Reply-To: john.havlicek@motorola.com
>X-pstn-levels: (S:99.90000/99.90000 R:95.9108 P:95.9108 M:98.9599
>C:78.1961 )
>
>Surrendra, David:
>
>Here are the small changes that we need to exclude empty
>match of a sequence that is a property.
>
>The reason for making this change is to avoid backward
>compatibility issues if the semantics is generalized to
>allow the empty matches with a different meaning.
>
>Best regards,
>
>John H.
>
>=======================================================================
>
>1. Section 17.11, p. 234. Change
>
> 1) A property that is a sequence evaluates to true if and only if
> there is a match of the sequence.
>
> to
>
> 1) A property that is a sequence evaluates to true if and only if
> there is a non-empty match of the sequence. A sequence that
> admits an empty match is not allowed as a property.
>
>2. Annex H, p. 535. Change
>
> Each instance of {\italic R} in this production must be a
> non-degenerate
> unclocked sequence. See H.3.2 and H.3.5 for the definition of
> non-degeneracy.
>
> to
>
> Each instance of {\italic R} in this production must be a
> non-degenerate
> unclocked sequence. In the "sequence" form, {\italic R} must not be
> tightly satisfied by the empty word. See H.3.2 and H.3.5 for the
> definitions
> of non-degeneracy and tight satisfaction.
>
>3. Annex H, p. 535. Change
>
> Each instance of {\italic S} in this production must be a
> non-degenerate
> clocked sequence. See H.3.2 and H.3.5 for the definition of
> non-degeneracy.
>
> to
>
> Each instance of {\italic S} in this production must be a
> non-degenerate
> clocked sequence. In the "sequence" form, {\italic S} must not be
> tightly satisfied by the empty word. See H.3.2 and H.3.5 for the
> definitions
> of non-degeneracy and tight satisfaction.
>
>
>
>
> > Date: Wed, 25 Feb 2004 18:19:12 -0600 (CST)
> > CC: dwsmith@synopsys.com, john.havlicek@motorola.com
> > From: John Havlicek <john.havlicek@motorola.com>
> > Reply-to: john.havlicek@motorola.com
> >
> > We still have not excluded the empty match for sequences
> > promoted to properties.
> >
> > I will work up the very small changes needed tonight.
> >
> > J.H.
**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752
Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
This archive was generated by hypermail 2b28 : Fri Feb 27 2004 - 00:04:04 PST