RE: [sv-ac] ballot result on 2089

Hi Tom,

See, for example the beginning of page 3:

"Checker action blocks or final procedures shall not write into free
variables, but they may contain any other
code which is normally allowed in action blocks or final procedures in
modules."

Also, Page 3

"A final procedure may be specified within a checker in the same manner
as in a module (see 9.2.3). This
allows for the checker to check conditions with immediate assertions or
print out statistics at the end of
simulation. A final block within a checker may include any construct
which is allowed in a non-checker
final block. However, statements within final procedures shall not write
into free variables."

Thanks,
Dmitry

-----Original Message-----
From: Thomas.Thatcher@Sun.COM [mailto:Thomas.Thatcher@Sun.COM] 
Sent: Wednesday, January 02, 2008 9:28 PM
To: john.havlicek@freescale.com
Cc: sv-ac@eda.org; Korchemny, Dmitry
Subject: 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"
> 
---------------------------------------------------------------------
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.