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

I vote yes on 2173 with the following questions/friendly amendments.

* 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

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Thursday, February 21, 2008 7:04 PM
To: sv-ac@eda.org
Cc: Bustan, Doron; eduard.cerny@synopsys.com; yaniv.fais@freescale.com; john.havlicek@freescale.com; Korchemny, Dmitry; Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com; piper@cadence.com; Seligman, Erik; bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
Subject: call to vote on 2173

Hi Folks:

This is the call to vote on the revised proposal for 2173.
The document on Mantis is

   2173_prop_case_080219_yf.pdf

See details below.

J.H.

----------------------------------------------------------------------------------
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.

 v[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)
 v[xxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-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)
 v[x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
 n[--------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[xxxxxxxxxx-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[xxxxxxxxxxxxxx-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
---------------------------------------------------------------------Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material forthe sole use of the intended recipient(s). Any review or distributionby others is strictly prohibited. If you are not the intendedrecipient, please contact the sender and delete all copies.
-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.