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

I vote yes on 2110

Doron

>>-----Original Message-----
>>From: Korchemny, Dmitry
>>Sent: Sunday, February 10, 2008 7:15 PM
>>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.

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