Subject: RE: [sv-ac] SVAC Meeting minutes 3/20/03
From: Bassam Tabbara (bassam@novas.com)
Date: Fri Mar 21 2003 - 12:41:52 PST
Yes John (thx Eric) I got what you meant, btw that pesky [*? ...] I only
meant "?" is a placeholder for "=, >" in case that was strange, sorry.
-Bassam.
-- Dr. Bassam Tabbara Technical Manager, R&D Novas Software, Inc.http://www.novas.com (408) 467-7893
> -----Original Message----- > From: owner-sv-ac@server.eda.org > [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek > Sent: Friday, March 21, 2003 12:00 PM > To: sv-ac@server.eda.org; erichm@cadence.com > Cc: john.havlicek@motorola.com > Subject: Re: [sv-ac] SVAC Meeting minutes 3/20/03 > > > All: > > Erich has correctly pointed out that I meant > > > ...we should not use the syntax "*=[n]" in SVA for the operator > that is written as "[->n]" in PSL. > > I was trying to agree with Erich, but I goofed up my > agreement. Sorry for any confusion. > > Best regards, > > John H. > > > | -----Original Message----- > > | From: John Havlicek [mailto:john.havlicek@motorola.com] > > | Sent: Friday, March 21, 2003 10:56 AM > > | To: Erich Marschner > > | Cc: Stephen.Meier@synopsys.com; sv-ac@eda.org > > | Subject: Re: [sv-ac] SVAC Meeting minutes 3/20/03 > > | =20 > > | =20 > > | All: > > | =20 > > | I agree with Erich 100% on this issue. We should not use the > > | syntax = > > > > | "*=3D[n]" in SVA for the same operator that is written as=20 > > | "[=3Dn]" in PSL. =20 > > | John H. > > | =20 > > | >=20 > > | >=20 > > | > Steve, > > | >=20 > > | > Regarding this item in the minutes: > > | >=20 > > | > =3D=3D=3D=3D=3D=3D=3D=3D=3D > > | > Item 19: Addition of explicit operator for next event > > | >=20 > > | > Adam asked if the nonconsecutive repetition ( *=3D) provided=20 > > | the same functionality. Surrendra indicated that it does. =20 > > | With this fact it was agreed to withdraw this item based on=20 > > | fact that there is no justification to have two ways to=20 > > | express same thing. > > | > =3D=3D=3D=3D=3D=3D=3D=3D=3D > > | >=20 > > | > If I understand the minutes correctly (and unfortunately I=20 > > | was delayed yesterday and could not join the meeting until=20 > > | after this was discussed), I agree with the decision. But=20 > > | I'd also like to point out to the SV-ACthat this is a case=20 > > | in which the syntax for SVA clashes with the syntax for PSL,=20 > > | and we should do something to correct this situation. > > | >=20 > > | > Specifically, PSL has two "nonconsecutive" repetition > operators:=20 > > | >=20 > > | > for N, which is either a number or a range: > > | >=20 > > | > b[=3DN] matches any string that has N > occurrences of b=20 > > | anywhere within it > > | >=20 > > | > b[->N] matches any string that ENDS in the Nth > occurrence of b > > | > (and b[->] is shorthand for b[->1]) > > | >=20 > > | > Note that both operators are very useful. The first=20 > > | operator is useful for counting occurrences of some=20 > > | condition in parallel with some other behavior (e.g., Seq1=20 > > | 'intersect' Cond[=3D0:n] ). The second operator is useful as=20 > > | the 'next_event', or more generally the 'nth_event' operator=20 > > | (e.g., the sequence A; B[->3]; C means "look for A, then=20 > > | look for the 3rd occurrence of B, then look for C"). > > | >=20 > > | > SVA has used syntax similar to the first operator to=20 > > | express the semantics of the second operator. This will=20 > > | potentially confuse users. > > | >=20 > > | > A proposal has been made to the DWG to adopt both=20 > > | operators in SVA, and to align their syntax with that of PSL=20 > > | to avoid confusion (either using the same operators as PSL,=20 > > | or using alternative operators that are different from PSL=20 > > | but clearly correspond with the semantically equivalent PSL=20 > > | operator). > > | >=20 > > | > Regards, > > | >=20 > > | > Erich > > | >=20 > > | >=20 > > | > ------------------------------------------- > > | > Erich Marschner, Cadence Design Systems > > | > Senior Architect, Advanced Verification > > | > Phone: +1 410 750 6995 Email: erichm@cadence.com > > | > Vmail: +1 410 872 4369 Email: erichm@comcast.net=20 > > | >=20 > > | > | -----Original Message----- > > | > | From: Stephen Meier [mailto:Stephen.Meier@synopsys.com] > > | > | Sent: Friday, March 21, 2003 1:40 AM > > | > | To: System Verilog Assertion > > | > | Subject: [sv-ac] SVAC Meeting minutes 3/20/03 > > | > | =20 > > | > | =20 > > | > | Hi: > > | > | =20 > > | > | Here are minutes from today. > > | > | =20 > > | > | -Steve > > | > | =20 > > | > | Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476,=20 > > | > | Cell: 408-393-8246 > > | > | =20 > > | =20 >
This archive was generated by hypermail 2b28 : Fri Mar 21 2003 - 12:43:32 PST