[sv-ac] ballot result on 2088

Hi Folks:

Our e-mail ballot on 2088 passed with friendly amendments.

See the results below.

J.H.

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

- Called on 2008-01-29, final ballots due by 2008-02-04 T 23:59-08:00.

yv[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
yv[-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
yv[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)
yv[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[x-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[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

----------------------------------------------------------------------------------
Friendly Amendments:

[LP]

1. I think coverpoint should be in bold.
2. posedge should be bold in: always_check @(posedge clk) opcode_d1 <=3D
opcode;

[DK]

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

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.

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