[sv-ac] Re: call to vote on 2173

Hi Lisa:

I think that Yaniv addressed all of your questions.

Let me echo a few things he said.  The purpose of the 
property_statement layer is to try to enable the syntax
with case and if-else to look more like the rest of the 
language, where no semicolon is required after "endcase", 
for example, but where semicolon may be found at the end
of a case item.

The production 

   property_expr ::= property_statment

ensures that if-else is backward compatible -- nothing is 
lost.

J.H.

> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Fri, 15 Feb 2008 18:30:07 -0500
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: call to vote on 2173
> Thread-Index: AchuNAExjj3s4iP9Rr6F5nrepkJv8gB7636Q
> From: "Lisa Piper" <piper@cadence.com>
> Cc: <doron.bustan@intel.com>, <eduard.cerny@synopsys.com>,
>         <yaniv.fais@freescale.com>, <dmitry.korchemny@intel.com>,
>         <Manisha_Kulshrestha@mentor.com>, <johan.martensson@jasper-da.com>,
>         <erik.seligman@intel.com>, <bassam.tabbara@synopsys.com>,
>         <thomas.thatcher@sun.com>
> X-Received: By mx-sanjose2.Cadence.COM as m1FNU8vr008531 at Fri Feb 15 15:30:08 2008
> X-OriginalArrivalTime: 15 Feb 2008 23:30:33.0072 (UTC) FILETIME=[C24B6F00:01C8702A]
> 
> Why does this proposal add this to property but not to sequences. The
> one example that is provided seems to be more appropriate for a
> sequence.=20
> 
> In the VPI diagrams (36.45 Property specification) the blue "stmt"
> should be "statement". =20
> 
> Why was property statement created instead of just adding this to
> property_expr.  What was lost by moving the if-else out from
> property_expr? I feel like I am missing something.
> 
> Lisa
> 
> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com]=20
> Sent: Wednesday, February 13, 2008 6:32 AM
> To: sv-ac@eda.org
> Cc: doron.bustan@intel.com; eduard.cerny@synopsys.com;
> yaniv.fais@freescale.com; john.havlicek@freescale.com;
> dmitry.korchemny@intel.com; Manisha_Kulshrestha@mentor.com;
> johan.martensson@jasper-da.com; Lisa Piper; erik.seligman@intel.com;
> bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
> Subject: call to vote on 2173
> 
> This is the call to vote on 2173.
> The document on Mantis is 2173_prop_case_080212_yf.pdf.
> 
> ------------------------------------------------------------------------
> ----------
> Ballot on Mantis 2173
> 
> - Called on 2008-02-13, final ballots due by 2008-02-18 T 23:59-08:00.
> - Please ensure that Dmitry Korchemny receives your ballot.
> 
>  v[-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
> (Intel)
>  v[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
> (Synopsys)    =20
>  n[--------------------------x-xxx---------x-x-xxx-x---x] Surrendra
> Dudani (Synopsys)
>  v[xx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
> (Freescale)
>  t[xxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
> (Freescale - Chair)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
> Korchemny (Intel - Co-Chair)
>  v[xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
> Kulshrestha (Mentor Graphics)
>  n[-x-x-------------------------------------------------] Ah-Lam Lee
> (Qualcomm)
>  n[----------------------------------xxxxx-------x-xx-x-] Jiang Long
> (Mentor Graphics)
>  n[-------------x------------x--xxx.....................] Joseph Lu
> (Altera)
>  n[-x--xxxxxxxxxxxxxxxxxxx..............................] Johan
> Martensson (Jasper)
>  n[-------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
> (Freescale)
>  v[xxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
> (Cadence)
>  v[xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
> (Intel)
>  n[-----------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
> (Mentor Graphics)
>  v[xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
> (Synopsys)
>  v[xxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher
> (Sun Microsystems)
>    |----------------------------------------------------- attendance on
> 2008-02-12
>  |------------------------------------------------------- voting
> eligibility for this ballot
> |-------------------------------------------------------- e-mail votes
> received
> 
>         Legend:
>                 x =3D attended
>                 - =3D missed
>                 r =3D represented
>                 . =3D not yet a member
>                 v =3D valid voter (2 out of last 3 or 3/4 overall)
>                 n =3D not a valid voter
>                 t =3D chair eligible to vote only to make or break a tie

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