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

I vote yes on 1728

Doron

John Havlicek wrote:

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


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