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

Hi,

There is nothing special about checkers. It is all about the rules of packages.

The wildcard import from p takes precedence because it precedes the reference to c.
Had the reference preceded the import, then the reference would be to the compilation unit scope c.

The rules are explained in 26.3, though not as well as desired.

Shalom

> > -----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.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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