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

Hi,
 
I have updated the proposal on Mantis based on Dmitry's and Bassam's comments.
 
Please also see below my comments to Dmitry.
 
Yaniv






-----Original Message-----
From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Monday, February 25, 2008 05:09
To: Havlicek John; sv-ac@eda.org
Cc: Bustan, Doron; eduard.cerny@synopsys.com; Fais Yaniv; Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com; piper@cadence.com; Seligman, Erik; bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
Subject: 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?
[Fais Yaniv] I don't know but I made them blue anyway.


* 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.
[Fais Yaniv]  changed to:

- The set of semantic leading clocks of case (b) b1:q1 $B!D(J bn:qn default: qd endcase is {inherited}.


* F.2.3.5 Other derived operators (last page)

I would prefer to provide a recursive definition:

"( case ( b ) b1: P1 $B!D(J bn: Pn endcase ) $B"a(J ( if (b===b1) P1 $B!D(J else if (b===bn) Pn)" --> "( case ( b ) b1: P1 b2: P1 $B!D(J bn: Pn endcase ) $B"a(J ( if (b===b1) P1 else case ( b ) b2: P2 $B!D(J bn: Pn endcase )", e.t.c.

[Fais Yaniv] made the defintion recursive with case instead of if..else , changed the definition to:
- ( case ( b ) b1: P1 endcase ) $B"a(J ( if (b===b1) P1)
- ( case ( b ) default: Pd endcase ) $B"a(J ( Pd )
- ( case ( b ) b1: P1 default: Pd endcase ) $B"a(J ( if (b===b1) P1 else Pd )
- ( case ( b ) b1: P1 $B!D(J bn: Pn endcase ) $B"a(J ( if (b===b1) P1 else case ( b ) b2: P2 $B!D(J bn: Pn endcase)
- ( case ( b ) b1: P1 $B!D(J bn: Pn default: Pd endcase ) $B"a(J ( if (b===b1) P1 else case ( b ) b2: P2 $B!D(J bn: Pn default: Pd endcase)

 

Also - note fonts, subscripts are sometimes rendered as regular fonts.
[Fais Yaniv] made all editor notes in green,TimesNewRoman,10


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 for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies.



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