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

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. 

In the VPI diagrams (36.45 Property specification) the blue "stmt"
should be "statement".  

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] 
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)     
 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 = attended
                - = missed
                r = represented
                . = not yet a member
                v = valid voter (2 out of last 3 or 3/4 overall)
                n = not a valid voter
                t = 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.