[sv-ac] Re: Mantis 2182 and 36.13 Note 10

Hi Dmitry,

As I say below, I too would like us to treat so, in fact think of checker as a special package. But I can't shake the feeling that this is not very clear today, and some may which to treat as a structural entity like a module -- proposal motivates it so in fact. 

So I am generalizing the question ... To one of [intent of] modeling.

Thx. 
-Bassam

----- Original Message -----
From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
To: Bassam Tabbara <Bassam.Tabbara@synopsys.COM>
Cc: sv-ac@eda.org <sv-ac@eda.org>; Bresticker, Shalom <shalom.bresticker@intel.com>
Sent: Mon Feb 18 21:20:10 2008
Subject: RE: Mantis 2182 and 36.13 Note 10

Hi Bassam,

I think that the checker ports should be treated as property/sequence
ports, and as far as I know, 36.13 is not related to properties.

Thanks,
Dmitry

-----Original Message-----
From: Bassam Tabbara [mailto:Bassam.Tabbara@synopsys.com] 
Sent: Monday, February 18, 2008 10:27 PM
To: Korchemny, Dmitry; Bassam.tabbara@synopsys.COM
Cc: sv-ac@eda.org; Bresticker, Shalom
Subject: Re: Mantis 2182 and 36.13 Note 10

Hi Dmitry,

I am not very sure about this, the issue with checkers is that in spirit
we want to treat like an encapsulation (of assertions) and not a
structural entity... Yet we do talk / treat in many respects like a
structure similar to module / interface etc... For former we need no
change.

I suspect this "confusion" will drive the (cross committee) discussions
to clear this up.

Thx. 
-Bassam

----- Original Message -----
From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
To: bassam.tabbara@synopsys.COM <bassam.tabbara@synopsys.COM>
Cc: sv-ac@eda.org <sv-ac@eda.org>; Bresticker, Shalom
<shalom.bresticker@intel.com>
Sent: Mon Feb 18 10:23:33 2008
Subject: Mantis 2182 and 36.13 Note 10

Hi Bassam,

 

The note 10 in 36.13 says:

 

10) vpiLowConn shall return NULL if the module or interface or program
port is a null port (e.g., "module M();").

vpiHighConn shall return NULL if the instance of the module, interface,
or program does not have a connection to

the port.

 

Should it be modified in 2812 (API for checkers)? Looks like checkers
are not related to ports, but I wanted to be sure.

 

Thanks,

Dmitry

 

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

---------------------------------------------------------------------
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 anddangerous content by MailScanner, and isbelieved to be clean.