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

Hi Tom,

I think that there is no need to mention the following:

"A covergroup may also be triggered by a procedural call to its sample()
method (see 18.8). Inside a checker,
the call to sample() may not occur directly in initial_check or always
check procedures, or from any function
called from an assignment in one of these procedures. However, calls to
sample() may appear in final
procedures, sequence match items, and assertion action blocks"

It will just confuse most of the users. This scenario seems occurs only
when a sampled() function called from a typed function contained in an
always/initial_check. I am not sure that calling a void function from a
typed function is valid. Even if it is, this is not an intuitive usage,
and whoever does it certainly deserves facing races in covergroups.

One minor comment:

Page 4, before 18.2 final() should be in courier 9.

Thanks,
Dmitry

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Wednesday, January 30, 2008 5:22 AM
To: sv-ac@eda.org
Cc: Bustan, Doron; eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
john.havlicek@freescale.com; Korchemny, Dmitry;
Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com;
piper@cadence.com; Seligman, Erik; bassam.tabbara@synopsys.com;
thomas.thatcher@sun.com
Subject: call to vote on 2088

Hi Folks:

This is the call to vote on the revised proposal for 2088.

The proposal on Mantis is

   2088_covergroups_20080129.pdf

Please vote if you are eligible.  See details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 2088

- 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.