[sv-ac] 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.


-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.