Re: [sv-ac] call to vote on 1900

I vote yes on 1900 with the following friendly amendments

16.18.1 Overview

"These verification blocks need sometimes also to contain . . ."
Change to
"These verifcation blocks may also need to contain . . ."


" Checkers may assign values to their formal arguments, treating them as 
output arguments"

If this is true, will the new values be observed by the calling scope?



" . . . but the data types of checker formal arguments are not necessary 
limited ..."

Change "necessary" to "necessarily"


Tom

John Havlicek wrote:
> Hi Folks:
> 
> Since my last call to vote on 1900 did not reach the reflector,
> I am calling for a new, 1-week vote.  This is that call.
> 
> I have copied the eligible voters individually because the 
> reflector seems unreliable.
> 
> Please send your ballot both to the reflector and to me 
> individually.
> 
> Please vote if you are eligible.  See the details below.
> 
> J.H.
> 
> ----------------------------------------------------------------------------------
> Ballot on Mantis 1900
> 
> - Called on 2007-12-31, final ballots due by 2008-01-07 T 23:59-08:00.
> 
>  v[xxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
>  v[xxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
>  n[--------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
>  v[xxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
>  v[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)
>  v[xxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  n[-----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[xxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[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
> 

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