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

Hi Dmitry,

I would probably just delete the statement altogether.  If you think that we
must include the statement, Then the statement would have to read something
like this:

    "The main purpose of global clocking is to specify which clocking
    event corresponds to the primary clock used in formal verification, or
    to <purpose of global clocking in simulation context>.

Tom

Korchemny, Dmitry wrote On 09/17/07 08:17 AM,:
> Hi Tom,
> 
> How would you suggest modifying this statement?
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
> Behalf Of Thomas Thatcher
> Sent: Thursday, September 13, 2007 1:06 AM
> To: john.havlicek@freescale.com
> Cc: sv-ac@server.eda-stds.org
> Subject: Re: [sv-ac] reminder to vote on 1681
> 
> 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.