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

I vote yes with the friendly amendment that the word "is" in the
sentence

below is in the font of "expression2" instead of the font for "a
shorthand.." (it does not show in what I copied from the PDF below)

 

"The logical implication expression1 -> expression2 is a shorthand .."

 

Lisa

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, October 10, 2007 10:11 PM
To: sv-ac@eda.org
Subject: [sv-ac] call to vote on 1758

 

Hi Folks:

 

This is the call to vote on the update 1758 proposal.

 

Please vote if you are elibigle.  See the details below.

 

J.H.

 

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

 

Ballot on Mantis 1757

 

- Called on 2007-10-10, final ballots due by 2007-10-17 T 23:59-07:00.

 

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

 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     

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

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

 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -
Chair)

 v[xxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
Co-Chair)

 v[xxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor
Graphics)

 n[------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)

 n[----------x--xxx.....................] Joseph Lu (Altera)

 v[xxxxxxx..............................] Johan Martensson (Jasper)

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

 v[xxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)

 v[x-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)

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

 v[xxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)

 v[xxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)

   |------------------------------------- attendance on 2007-10-09

 |--------------------------------------- voting eligibility for this
ballot

|---------------------------------------- email ballots 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

 

-- 

This message has been scanned for viruses and

dangerous content by MailScanner, and is

believed to be clean.

 


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