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

I vote "no" on 2088.

Major comments:

* Covergroup sampling in checkers require some clarification. In case
when the clocking event refers to a checker variable, it will happen in
the Observed region, and some checker variable will have their old
values (those who evaluate before the variable in the clocking event)
and others will have the new values already assigned.

E.g.,

checkvar bit newclock = 0;
checkvar bit a, b;

assign a = regular_var_1;
assign b = regular_var_2;

always_check @clk newclock <= !newclock;

covergroup cg1 @(newclock);
... // References to a and b
endgroup

Here you cannot tell what the evaluation order is: newclock, a, b; a, b.
newclock, etc.

Minor comments and friendly amendments:

* Need to insert references to subclauses describing the covergroups.

Page 2.

* "Covergroup declarations and instances" -> "Covergroup declarations
and instances." - missing the trailing dot.

* The added text in the new section should be in blue.

* A covergroup may reference either input signals of the checker or
checker variables, including free variables."

The term "input signals of the checker" is not defined. Is the intention
about the input formal arguments? Also, why global variables defined
elsewhere are disallowed in the covergroup?

* Need to fix fonts throughout the document: Arial appears in many
places instead of Times New Roman.

Page 3.

* "bins active = { [1'b1 };" -> "bins active = { 1'b1 };"

Thanks,
Dmitry

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Monday, December 31, 2007 7:00 PM
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:

Since my last call to vote on 2088 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 2088

- 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
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


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