[sv-ac] ballot result for 2173

----------------------------------------------------------------------------------
Ballot on Mantis 2173

- Called on 2008-02-21, final ballots due by 2008-02-25 T 23:59-08:00.
- Please ensure that Dmitry Korchemny receives your ballot.

yv[x-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[---------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
yv[xxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
nv[-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)
 v[x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
 n[--------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
yv[xxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[xxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |------------------------------------------------------ attendance on 2008-02-19
 |-------------------------------------------------------- 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

----------------------------------------------------------------------------------
Rationale for negative vote:

[MK]

I vote 'no'. The reason is that I do not think it adds any critical
functionality.


----------------------------------------------------------------------------------
Friendly Amendments:

[BT]

I vote yes with friendly amendment to add #define vpiCaseProperty
<editor to fill in> and #define vpiCasePropertyItem <....> -- Note also
rename it "case property item" instead ... =20

[DK]

* Syntactical meta-symbols [] and {} are shown in new productions in black. Shouldn't they be blue?

* Page 4. "— The set of semantic leading clocks of case (b) b1:q1 b2:q2 endcase is {inherited}." The statement should have general form with n clauses and optional default.

* F.2.3.5 Other derived operators (last page)

I would prefer to provide a recursive definition:

"( case ( b ) b1: P1 … bn: Pn endcase ) ≡ ( if (b===b1) P1 … else if (b===bn) Pn)" --> "( case ( b ) b1: P1 b2: P1 … bn: Pn endcase ) ≡ ( if (b===b1) P1 else case ( b ) b2: P2 … bn: Pn endcase )", e.t.c.

Also - note fonts, subscripts are sometimes rendered as regular fonts.

Dmitry

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