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

Hi Abhishek,
I did not declare checker in same scope. One is in package and another
is in compilation unit. Now searching of checker master will consider
import statement or not is the basic question. For other instantiation,
import is ignored as package can not have any master of instance.

Regards
Surya

-------- Original Message --------
Subject: Re:[sv-ac] Checker master searching via import
From: Abhishek Muchandikar <Abhishek.Muchandikar@synopsys.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>, sv-bc@eda.org
<sv-bc@eda.org>, sv-ac@server.eda.org <sv-ac@eda.org>
Date: Monday, January 18, 2010 12:25:38 PM
> 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.
>
>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.