Re: [sv-ac] ballot result on 2089

Hi Dmitry,

 > * Friendly amendment: The new text should be in Times New Roman, and not
 > in Arial (page 3).

I haven't found any new text in Arial font.  The only Arial font I found 
was in headings, and in notes to the editor.  Can you point out the 
exact text which you see in Arial font?

Thanks,

Tom

John Havlicek wrote:
> Hi Folks:
> 
> Our ballot on 2089 failed due to negative vote.
> 
> See the results below.
> 
> J.H.
> 
> ----------------------------------------------------------------------------------
> Ballot on Mantis 2089
> 
> - Called on 2007-12-20, final ballots due by 2007-12-30 T 23:59-08:00.
> 
> yv[xxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
> yv[xxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
>  n[--------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
> yv[xxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
> nv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
>  v[xxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
>  n[----------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
>  n[-------x------------x--xxx.....................] Joseph Lu (Altera)
>  v[xxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
>  n[-------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
> yv[xxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  n[-----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
> yv[xxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
> yv[xxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
>    |----------------------------------------------- attendance on 2007-12-18
>  |------------------------------------------------- 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 a valid voter
>                 t = chair eligible to vote only to make or break a tie
> 
> 
> ----------------------------------------------------------------------------------
> Rationale for Negative Vote
> 
> [DK]
> 
> * A refinement of "checker body" is needed. Currently "checker body" is
> defined as everything in the checker except of assertion action blocks.
> Apparently, final procedure imposes different limitations than other
> stuff from "checker body" does. This also includes the argument passing:
> if a formal argument is used in a final procedure, a corresponding
> actual argument cannot depend on checker variables, etc.=20
> * Do you want to make a declaration of regular variables legal in
> checkers since they may be used in final procedures, or shall they
> remain illegal, and the variables used in final procedures should be
> declared there locally (I prefer the latter option)? This needs to be
> explicitly mentioned.
> * Friendly amendment: The new text should be in Times New Roman, and not
> in Arial (page 3).
> 
> ----------------------------------------------------------------------------------
> Friendly Amendments
> 
> [BT]
> 
> - Add pointer to 2182 for VPI
> - Remove mention of VPI "may need change" -- "final" is covered in
> "process"
> 

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