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

I will vote no on 2110

1.  The proposal needs more detail on what happens to procedures within 
the checker when that checker is instantiated in a loop.
For example, I assume that the intet is that an always_check will be 
executed just once every triggering event.  It won't be executed 
multiple times for each pass of the loop the checker is instantiated in.
But this is not stated.  The text says only:

     "A checker in a procedural loop executes its contents for each 
possible valid set of loop control variables."

2.  Note that there will be a very interesting gotcha:  A cover property 
appearing in a checker which is instantiated in a loop will be executed 
once for every valid combination of loop control variables.  However, a 
covergroup (assuming 2088 passes) will be executed only once (If I 
understand the intent correctly), because it is triggered by its 
triggering event.  (Sounds like material for another "Gotchas" paper at 
SNUG 2009 for Stu :-)

A few more questions:

In the example at the top of page 3.  The checker formal argument is of 
type bit.  the actual args of the instances are "foo[i] |-> bar[i]",
"foo |-> bar"  Aren't these actual args of type property?

Once these points are explained clearly, the proposal should be acceptable.

Tom

John Havlicek wrote:
> Hi Folks:
> 
> This is the call to vote on 2110.
> 
> The document on Mantis is
> 
>    checkerinloop080121es.pdf
> 
> Please vote if you are eligible.  See details below.
> 
> J.H.
> 
> ----------------------------------------------------------------------------------
> Ballot on Mantis 2110
> 
> - Called on 2008-01-29, final ballots due by 2008-02-04 T 23:59-08:00.
> 
>  v[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
>  v[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
>  n[------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
>  v[-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
>  v[xxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
>  n[-x-------------------------------------------------] Ah-Lam Lee (Qualcomm)
>  n[--------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
>  n[-----------x------------x--xxx.....................] Joseph Lu (Altera)
>  n[--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
>  n[-----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
>  v[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  n[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[x-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[xxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
>    |--------------------------------------------------- attendance on 2008-01-29
>  |----------------------------------------------------- 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.