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

 
Hi Dmitry,

Comments below. BTW one more thing I noticed now, you can fill in
numbers for following (they are just an "enum"):

#define vpiFreeCheck 1
#define vpiCheck     2
#define vpiNoCheck   3

Thx.
-Bassam.

-----Original Message-----
From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
Sent: Sunday, January 20, 2008 7:01 AM
To: Lisa Piper; Bassam Tabbara; john.havlicek@freescale.com
Cc: sv-ac@eda.org
Subject: RE: [sv-ac] call to vote on 2182

Hi Lisa, Bassam,

I uploaded the new version of the proposal (also attached here). I added
the items pointed by Bassam, but there are some questions remained. I
did also some more additions and I would like to know whether they are
OK.

* I added not only ->> checker for module, interface, program and
checker, but also ->> checker array.

BT>> Yes thx, the checker array should also be added like checker.

* I added ->> function, property decl and sequence decl to the checker
VPI diagram.

BT>> We do not need this, checker is under instance see my answer below.

* Should I add checker into scope? property decl and sequence decl have
been added to scope in 1503.

BT>> No need, it is under instance class which goes under scope already.
1503 adds seq/prop decl on RHS as decls that appear in scope, they do
not form a scope themselves.

* Where in VPI diagrams is shown that the sequences and properties may
be declared inside interfaces and programs? This question is not related
to the current proposal, but it may be related to 1503.

BT>> Scope diagram (again instance...) takes care of this.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Lisa Piper
Sent: Friday, January 18, 2008 9:02 PM
To: Bassam Tabbara; john.havlicek@freescale.com
Cc: sv-ac@server.eda.org
Subject: 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.


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