[sv-ac] call to vote on 2173

Hi all,

 

This is the call to vote on the revised proposal for 2337 following the
champions' feedback:

 

The proposal for mantis 2327 adds item ad) to the existing list in

16.15.7.

The last line of this bullet item has the following:

 

   "The underlying evaluation of property_stmtd is non-vacuous."

 

In this sentence the word "attempt" appears to be missing.

This same problem was noted for ab), ac) and ad).

All of the bulleted items should be checked.

 

It was also noted that in one spot "non-vacuous" is missing a '-' in the

blue text.

 

The document on Mantis is

 

2327_prop_case_vacuity_mc_2008-07-17.pdf
<http://www.eda-stds.org/mantis/file_download.php?file_id=3785&type=bug>


Please, vote if you are eligible.

 

Dmitry

------------------------------------------------------------------------
----------

 

Ballot on Mantis 2173

 

- Called on 2008-06-23, final ballots due by 2008-07-27 T 23:59-08:00
PDT.

 

 
v[-xx--x--xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx
] Doron Bustan (Intel)

 
v[---xx-xxxx-xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x
] Eduard Cerny (Synopsys)     

 
n[-------------------------------------------x-xxx---------x-x-xxx-x---x
] Surrendra Dudani (Synopsys)

 
v[-xxxxxx-xxxxxxxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------
] Yaniv Fais (Freescale)

 
v[---xxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
] John Havlicek (Freescale)

 
t[xxxxxx-xxxxx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx
] Dmitry Korchemny (Intel - Chair)

 
n[-x-----xxx--xx-x-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-xx-x--------------------x------------x--xxx.....................
] Joseph Lu (Altera)

 
n[----------------x-x--xxxxxxxxxxxxxxxxxxx..............................
] Johan Martensson (Jasper)

 
n[------------------------------------------------x--x-xx--xx-xxxxxxx-x-
] Hillel Miller (Freescale)

 
v[x-xxxxxxxx-xxxxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx
] Lisa Piper (Cadence)

 
v[xxxxxxxxx-xxxxxx-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................
] Erik Seligman (Intel)

 
n[----------------------------x-x----x--------xxxx-----xxxx-xx----------
] Tej Singh (Mentor Graphics)

 
v[xx-xx-xxxx-x-x-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx
] Bassam Tabbara (Synopsys)

 
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............]
Tom Thatcher (Sun Microsystems - Co-Chair)

   |------------------------------------------------------ attendance on
2008-07-14

 |-------------------------------------------------------- voting
eligibility on 2008-07-14

 

       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.