[sv-bc] RE: [sv-ac] Checker master searching via import

Hi,

I believe you cannot have two checker declarations by the same name as is the case with ur code.
Say you have a checker declared in package, importing the package should be good enough to make the checker visible to the said module.

Thanks
Abhishek

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Surya Pratik Saha
Sent: Monday, January 18, 2010 12:12 PM
To: sv-bc@eda.org; sv-ac@server.eda.org
Subject: [sv-ac] Checker master searching via import

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.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.