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

From: Lisa Piper <piper_at_.....>
Date: Thu Sep 27 2007 - 14:46:16 PDT
I vote yet on 1758 - Boolean implications

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Tuesday, September 25, 2007 3:13 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] call to vote on 1758

Hi Folks:

This is the call to vote on the proposal for Mantis 1758.  The
document is BoolImplication1758.070918.pdf.

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

J.H.

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

Ballot on Mantis 1758 

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


 v[xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[---------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -
Chair)
 v[xxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
Co-Chair)
 v[xx-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[xxxxxx..............................] Johan Martensson (Jasper)
 n[--------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[xxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 v[-x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[xx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |------------------------------------ attendance on 2007-09-25
 |-------------------------------------- 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)
		n = not 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.
Received on Thu Sep 27 14:46:43 2007

This archive was generated by hypermail 2.1.8 : Thu Sep 27 2007 - 14:46:50 PDT