RE: [sv-ac] call to vote on 2089

Hi Tom,

Could you please clarify what you mean by "The operation of the final
procedure is independent of the instantiation context of the checker
that
contains it." 

Suppose final block refers to a port of the checker which has a default
value of say '$inferred_clk', then the final procedure does depend on
instantiation context. Am I interpreting it wrong ?

Thanks.
Manisha

-----Original Message-----
From: Thomas.Thatcher@Sun.COM [mailto:Thomas.Thatcher@Sun.COM] 
Sent: Wednesday, February 27, 2008 6:42 AM
To: john.havlicek@freescale.com
Cc: sv-ac@eda.org; doron.bustan@intel.com; eduard.cerny@synopsys.com;
yaniv.fais@freescale.com; dmitry.korchemny@intel.com; Kulshrestha,
Manisha; johan.martensson@jasper-da.com; piper@cadence.com;
erik.seligman@intel.com; bassam.tabbara@synopsys.com
Subject: Re: [sv-ac] call to vote on 2089

I vote yes on 2089

Tom

John Havlicek wrote:
> Hi Folks:
> 
> This is the call to vote on 2089.
> 
> This is a very short ballot as agreed in our meeting.
> 
> The document on Mantis is
> 
>    2089_finalInChecker_20080226.pdf
> 
> See details below.
> 
> J.H.
> 
>
------------------------------------------------------------------------
----------
> Ballot on Mantis 2089
> 
> - Called on 2008-02-26, final ballots due by 2008-02-27 T 23:59-08:00.
> 
>  v[xx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron
Bustan (Intel)
>  v[xxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard
Cerny (Synopsys)     
>  n[----------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani (Synopsys)
>  v[xxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
>  t[xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John
Havlicek (Freescale - Chair)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
Korchemny (Intel - Co-Chair)
>  v[x-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
Kulshrestha (Mentor Graphics)
>  n[---x-x-------------------------------------------------] Ah-Lam Lee
(Qualcomm)
>  n[------------------------------------xxxxx-------x-xx-x-] Jiang Long
(Mentor Graphics)
>  n[---------------x------------x--xxx.....................] Joseph Lu
(Altera)
>  n[-x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson (Jasper)
>  n[---------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel
Miller (Freescale)
>  v[xxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
>  v[x-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik
Seligman (Intel)
>  n[-------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
(Mentor Graphics)
>  v[x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
Tabbara (Synopsys)
>  v[xxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom
Thatcher (Sun Microsystems)
>    |------------------------------------------------------- attendance
on 2008-02-26
>  |--------------------------------------------------------- voting
eligibility for this ballot
> |---------------------------------------------------------- e-mail
votes 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 a 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.