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

I vote yes on 2088 with the following friendly amendment:

I suggest dropping the following fragment (Page 3):

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

This limitation is redundant, since it is written in 1900 that all
functions used in checkers should be pure (BTW, this should be changed
in 1900).

The right limitation would be (16.18.7 Functions in checkers): a
function called in a checker variable assignment shall be pure. The
proper way would be to fix the checker proposal, but since it is being
reviewed by champions, it could be better to do this correction in 2088.

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.