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

OK, I've made a few changes to this proposal, based on friendly
amendments.  Hopefully these are minor enough that we can voice vote
them tomorrow, assuming it passes otherwise.
 

-----Original Message-----
From: Korchemny, Dmitry 
Sent: Monday, February 04, 2008 7:04 AM
To: john.havlicek@freescale.com; sv-ac@eda.org
Cc: 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
Subject: RE: call to vote on 2110

I vote yes on 2110 with the following friendly amendments:

* Page 1:

" Unlike other automatic variables, a loop control variable may be
passed in as a checker input. A checker instantiated in such a way
*must* obey the following restriction:
- If a checker input port is connected to a loop control variable, that
port may only be used within verification statement instantiations, and
*cannot* be used otherwise in the body of the checker."

--> "shall", "shall not"

* Page 3, mycheck4 example:

"v1 = i;" -> "v1 <= i;"

Dmitry
-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com]
Sent: Wednesday, January 30, 2008 5:19 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 2110

Hi Folks:

This is the call to vote on 2110.

The document on Mantis is

   checkerinloop080121es.pdf

Please vote if you are eligible.  See details below.

J.H.

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

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