Re: [sv-ac] call for email vote on motion regarding Mantis 1728

From: Thomas Thatcher <Thomas.Thatcher_at_.....>
Date: Wed Mar 28 2007 - 10:59:14 PDT
Hi John,

I vote yes on Mantis 1728.

Tom

John Havlicek wrote On 03/27/07 12:37,:
> All:
> 
> This is the call to vote on Ed's motion regarding Mantis 1728.
> 
> The text of the motion is below -- I made some very small editorial
> changes to the English.
> 
> Please vote if you are eligible.  See details below.
> 
> J.H.
> 
> 
> Ballot on the following motion:
> 
> "The P1800 SV-AC committee members consider that the concept of the
> 'let' statement as expressed in the Mantis item 1728 draft proposal is
> very useful for defining effective assertions and assertion libraries.
> Therefore, the committee recommends that the SV-BC committee consider
> the proposal and work with SV-AC to formulate an effective enhancement
> proposal for the IEEE 1800-2008 standard."
> 
> - Called on 2007-03-27, final ballots due by 23:59 PDT on 2007-04-03.
> 
>  v[xxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)
>  v[xxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)	
>  n[--------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
>  v[-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
>  v[xxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
>  v[xxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
>  n[--xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
>  n[--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
>  v[x-x..................] Erik Seligman (Intel)
>  n[----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[xxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[xxxxxx...............] Tom Thatcher (Sun Microsystems)
>    |--------------------- attendance on 2007-03-27
>  |----------------------- 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
> 

-- 
------------------
Thomas J. Thatcher
Sun Microsystems
408-616-5589
------------------

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Mar 28 10:59:53 2007

This archive was generated by hypermail 2.1.8 : Wed Mar 28 2007 - 10:59:59 PDT