[sv-bc] Checker master searching via import

From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Date: Sun Jan 17 2010 - 22:41:59 PST

Hi,
As per SV 1800-2009 LRM, the checker can be declared inside a package.
Now if there is an instantiation and import of the package inside a
module, does the master searching of instantiation consider the import
statement? For e.g.:

checker c;
endchecker
package p;
    checker c;
    endchecker
endpackage

module top;
    import p::*;
    c che(); // is it p::c or compilation unit checker instantiation
endmodule

I did not find anything is mentioned explicitly in the LRM. Please let
me know.

-- 
Regards
Surya
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sun Jan 17 22:46:08 2010

This archive was generated by hypermail 2.1.8 : Sun Jan 17 2010 - 22:46:28 PST