Subject: Re: Draft 5 attached
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Apr 03 2002 - 10:13:31 PST
Hi Stuart, Stefen;
I was browsing both the BNF and draft5 regarding interfaces.
It appears that an interface can contain almost everthing that
a module can contain - nets, initial/always blocks, etc.
How do these logic elements (nets and blocks) get associated
properly with the elements of the interface?
E.g. If you have an interface of several signals and you use
modports to define the direction of several signals within
the interface, does this not mean that the logic you
put in there may not be correct if the type of the signal
is an input for a particular instantiation?
I was looking at this with regard to putting assertions into an
interface. One would ideally like to associate some assertions
with a particular modport definition. For example, it would
be best (for simulation) to associate an assertion that defines
legal commands on an interface with the instantiation that will
be outputting or driving those signals.
For formal tools they may want the association differnt - I don't
know how they do association.
Thanks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Wed Apr 03 2002 - 10:14:53 PST