Re: [sv-ac] reminder to vote on 1681

From: Thomas Thatcher <Thomas.Thatcher_at_.....>
Date: Wed Sep 12 2007 - 15:05:53 PDT
I vote yes on 1681, but with a friendly amendment.

In light of the recent e-mail exchange, discussing the importance of the
global clock to simulation, the following sentence from 14.13 should be
deleted or modified:

   "The main purpose of global clocking is to specify which clocking
    event corresponds to the primary clock used in formal verification."


Tom

John Havlicek wrote On 09/11/07 04:53 AM,:
> Hi Folks:
> 
> This is a reminder that we have a ballot on 1681 
> closing at 2007-09-13 T 23:59-07:00(PDT).
> 
> Below are the results so far.
> 
> Please vote if you are eligible.
> 
> J.H.
> 
> ------------------------------------------------------------------------------
> 
> Ballot on Mantis 1681
> 
> - Called on 2007-09-06, final ballots due by 2007-09-13 T 23:59-07:00(PDT).
> 
> yv[xxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
> yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
>  n[------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
> yv[xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
> yv[xxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
>  v[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[xxx..............................] Johan Martensson (Jasper)
>  n[-----------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
> yv[xxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  n[-------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[-xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[xxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
>    |--------------------------------- attendance on 2007-09-04
>  |----------------------------------- 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 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 Sep 12 15:06:17 2007

This archive was generated by hypermail 2.1.8 : Wed Sep 12 2007 - 15:06:43 PDT