RE: [sv-ac] call to vote on Mantis 1383

Hi Johan,

It is an obsolete proposal, and I don't think it has a good definition of coverage, especially after changes made in the coverage simulation semantics, and if the temporal operators are introduced. The subject itself is still relevant and important, but I would create a completely new proposal for it.

Thanks,
Dmitry

-----Original Message-----
From: johan.martensson@jasper-da.com [mailto:johan.martensson@jasper-da.com] 
Sent: Monday, September 24, 2007 4:04 PM
To: Korchemny, Dmitry
Cc: john.havlicek@freescale.com; sv-ac@eda-stds.org
Subject: Re: [sv-ac] call to vote on Mantis 1383

Hi Dmitry,

Why shouldn't we proceed on this one?

/Johan


On Tue, Sep 18, 2007 at 11:21:50AM +0200, Korchemny, Dmitry wrote:
> I vote yes on the resolution of 1383 "resolved,won't fix"
> 
> Dmitry
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
> Behalf Of John Havlicek
> Sent: Tuesday, September 18, 2007 3:21 AM
> To: sv-ac@server.eda-stds.org
> Subject: [sv-ac] call to vote on Mantis 1383
> 
> Hi Folks:
> 
> The rules of process say that we are required, as a committee,
> to approve state changes to Mantis items, even if the originator
> withdraws the item.
> 
> This is the call to vote on changing the state of Mantis 1383 to
> "resolved,won't fix" as Dmitry, the originator of the item, has
> already done.
> 
> Note that this is not a vote for a proposal.
> 
> Please vote if you are eligible.
> 
> Best regards,
> 
> J.H.
> 
> ------------------------------------------------------------------------
> ------
> 
> Ballot on Mantis 1383
> 
> - Called on 2007-09-17, final ballots due at 2007-09-24 T 23:59-07:00
> (PDT).
> 
>  v[xxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
>  n[-------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
>  v[-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
>  v[xxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-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[xxxx..............................] Johan Martensson (Jasper)
>  n[------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
>  v[xxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  n[--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[xxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
>    |---------------------------------- attendance on 2007-09-11
>  |------------------------------------ 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
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> ---------------------------------------------------------------------
> 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.
> 
> 

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