RE: [sv-ac] reflector unreliable -- call to vote on 2110

OK, I have posted this updated version, which should cover your
amendments below.  Pls take a look so we can confirm in a voice vote
tomorrow (assuming 2110 passes otherwise).  Thanks! 

-----Original Message-----
From: Korchemny, Dmitry 
Sent: Sunday, February 10, 2008 9:15 AM
To: john.havlicek@freescale.com; Bustan, Doron;
eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com;
piper@cadence.com; Seligman, Erik; bassam.tabbara@synopsys.com;
thomas.thatcher@sun.com
Cc: sv-ac@server.eda.org; support@server.eda.org
Subject: RE: [sv-ac] reflector unreliable -- call to vote on 2110

I vote yes on 2110 with the following friendly amendments:

* The checker ports (similar to property ports) do not have directions,
e.g.,

"checker mycheck(input integer checkval);" --> "checker mycheck(integer
checkval);"

Need to fix all the examples appropriately.

* Page 4. "Another common case where a checker may be useful in a loop
is one that uses covergroups." Add a reference to covergroups.

* Add dependency of this proposal on 2088.

* I would not make a separate subclause called "Illegal checker
examples".

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Thursday, February 07, 2008 2:27 PM
To: 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
Cc: sv-ac@server.eda.org; support@server.eda.org
Subject: [sv-ac] reflector unreliable -- call to vote on 2110

Hi Folks:

The reflector is unreliable.

The message below was sent Wed Feb  6 11:27:02 -0600 2008.

J.H.

========================================================================
=========

Hi Folks:

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

The document on Mantis is

   checkerinloop_080206es.pdf

Please vote if you are eligible.  See details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 2110

- Called on 2008-02-06, final ballots due by 2008-02-11 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[-------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani (Synopsys)
v[x-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)  t[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
John Havlicek (Freescale - Chair)
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
v[xxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
Kulshrestha (Mentor Graphics)
n[x-x-------------------------------------------------] Ah-Lam Lee
(Qualcomm)  n[---------------------------------xxxxx-------x-xx-x-]
Jiang Long (Mentor Graphics)
n[------------x------------x--xxx.....................] Joseph Lu
(Altera)  n[x--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson (Jasper)
n[------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)  v[xxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx]
Lisa Piper (Cadence)
v[xxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)  n[----------x-x----x--------xxxx-----xxxx-xx----------] Tej
Singh (Mentor Graphics)
v[xx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)  v[xxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom
Thatcher (Sun Microsystems)
   |---------------------------------------------------- attendance on
2008-02-05
 |------------------------------------------------------ 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.


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