Subject: Re: Fitz's Action Items for 7/22 Meeting
From: Adam Krolnik (krolnik@lsil.com)
Date: Fri Jul 19 2002 - 14:03:19 PDT
Hi Tom;
You wrote:
>This is certainly an area that can be discussed more, since we may want to
>allow OVL modules to be instantiated in interfaces, for example. There may
>be a way to define what a "passive" module is in this case, and only allow
>passive modules to be instantiated in interfaces. Let's discuss.
Yes, we do want OVL assertion (modules) to be placed in an interface
(in addition to Sugar assertions/SystemVerilog assertions.)
But you are correct, modules with outputs (or anything driving a signal
in
an interface) will not work. [A signal modport'd to an input will have a
conflict.]
Extra points: Placing an assertion/OVL module in an interface will cause
it to be
evaluated in each place where the interface is used, correct?
It would be better to only simulate an assertion/OVL module once, rather
than
at each usage.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Fri Jul 19 2002 - 14:17:47 PDT