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

I updated the proposal.

Dmitry

-----Original Message-----
From: johan.martensson@jasper-da.com [mailto:johan.martensson@jasper-da.com] 
Sent: Tuesday, September 18, 2007 6:51 PM
To: Thomas Thatcher
Cc: Korchemny, Dmitry; john.havlicek@freescale.com; sv-ac@eda-stds.org
Subject: Re: [sv-ac] reminder to vote on 1681

Hi,

would the following wording be acceptable?

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

Best Regards,

Johan M


On Mon, Sep 17, 2007 at 01:07:11PM -0700, Thomas Thatcher wrote:
> 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.

-- 
------------------------------------------------------------
Johan Mårtensson                 Office: +46 31 7451913
Jasper Design Automation         Mobile: +46 703749681 
Arvid Hedvalls backe 4           Fax: +46 31 7451939
411 33 Gothenburg, Sweden        Skype ID: johanmartensson
------------------------------------------------------------
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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