Hi,
In 1800-2005 LRM section "20.8.2 Virtual interfaces modports and
clocking blocks", there is a big example of program using interface
port. In that example, there is a line
assert property (b1.p1); // assert property from within program
Whereas, 'b1' is an interface port pointing to an instance, which
directly does not contain any object called 'p1'. Property 'p1' is
present inside a clocking block. All the standard simulators fail the
case. I am not sure if there is any mantis to fix it or not, but the
draft4 of 1800-2008 LRM does not contain any fix.
--
Regards
Surya
--
This message has been scanned for viruses and
dangerous content by
MailScanner, and is
believed to be clean.
Received on Tue Feb 26 22:29:04 2008