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

Hi Dmitry,

please see my comments below.

Yaniv

-----Original Message-----
From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Monday, February 18, 2008 15:10
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

Hi John, Yaniv,

I have the following questions/comments:

* Page 3, bottom. The statement "The case expression given in
parentheses shall be evaluated exactly once and before any of the case
item statements."

is not clear to me. As far as I understand al the expressions in the
case statement should be sampled (unless they are continuous checker
variables). I think that this statement has to be deleted.

* I suggest rewriting the whole paragraph, describing the case
statement, it should use more intuitive language.

[Yaniv Fais] actually this paragraph was almost copy pasted from the
procedural case statement (see 12.5) since I found it defines exactly
how this evaluates in a nonambiguous way , I agree however that the
sentence you've mentioned is irrelevant since it is meaningful only when
the expressions are allowed to have side effects so I shall remove it.

* Fix fonts in h) and in 16.5.1 on page 4.

[Yaniv Fais] I made "(b!==b1 && b!==b2)" Italic in "h)", and "b1:q1
b2:q2" Times-New Roman /Italic/10 in 16.5.1

* Page 4, 36.45

VPI looks incomplete. property_stmt is not explained.

[Yaniv Fais] The VPI diagram for property statement is missing, it
should be done hopefully with collaboration from SV-CC (This is
mentioned on page 1).

Dmitry

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com]
Sent: Wednesday, February 13, 2008 1:32 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

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