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

In that case, I vote yes with the friendly amendments from Bassam's
email.

-----Original Message-----
From: Bassam Tabbara [mailto:Bassam.Tabbara@synopsys.com] 
Sent: Friday, January 18, 2008 1:42 PM
To: Lisa Piper
Cc: john.havlicek@freescale.com; sv-ac@eda.org
Subject: RE: [sv-ac] call to vote on 2182

Hi Lisa,

Yes the proposal is missing a few things, thx for the catch, the
declaration part is missing. The items I see now are:

checker -->> checker (also missing !)
checker -->> prop formal decl (This is akin to "io decl", added in 1503
proposal, corresponds to property_port_list)
module -->> checker
interface -->> checker
program -->> checker

The last 3 are what you point out below.
 
Thx.
-Bassam.


------------
From:	owner-sv-ac@eda.org on behalf of Lisa Piper [piper@cadence.com]
Sent:	Wednesday, January 16, 2008 3:22 PM
To:	john.havlicek@freescale.com; sv-ac@eda.org
Subject:	RE: [sv-ac] call to vote on 2182

I am not a VPI expert, but have the following comments:
I'm still learning how to read VPI. I have the following questions.

1. In 36.9, we've added checker to the LHS under instance, but not in
the RHS as an instance item. A checker defn can be an item of a module,
interface, ... so shouldn't it also be on the RHS?  

2. Shouldn't the diagrams for Interface(36.5), Program (36.8) show a
checker on the RHS? Module does not need it because it has scope ->
instance -> checker, but I don't see how you get to a checker in an
interface or program.  Perhaps when you do #1 above that takes care of
this?


Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Tuesday, January 15, 2008 9:05 PM
To: sv-ac@eda.org
Subject: [sv-ac] call to vote on 2182

Hi Folks:

This is the call to vote on the proposal for Mantis 2182.

The document on Mantis is

  2182_checkersVPI_071404dkbt.pdf


Please vote if you are eligible.  See details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 2182

- Called on 2008-01-15, final ballots due by 2008-01-21 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
 v[xxxxx-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[xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[---------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
 v[xxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
 n[-------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
 v[xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
 v[xxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |------------------------------------------------- attendance on
2008-01-15
 |--------------------------------------------------- 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

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


 
 

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