[sv-bc] RE: [sv-ac] Checker instantiation syntax

Hi Surya,

The LRM allows checkers to be defined in packages, but unfortunately according to BNF as you pointed out it is illegal to explicitly specify the package scope in the checker instantiation, this of course, was not the initial intent. I opened a new Mantis item 2556 on that.

The LRM does not allow hierarchical references to the checkers in their instantiations, like

a.check mycheck(...);

and it does not seem to be particularly useful.

As for your case 2 example, the I leave it to other people to comment.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Surya Pratik Saha
Sent: Monday, January 05, 2009 7:05 AM
To: sv-bc@eda.org; sv-ac@eda.org
Subject: [sv-ac] Checker instantiation syntax

Hi,
Is class/package scope or hierarchical reference allowed in checker
instantiation as checker_identifier? For e.g.

case 1:
package p;
    checker c;
       ...
    endchecker
endpackage

module top;
    p::c c_inst();
endmodule

case 2:
class cl;
    checker c;
       ...
    endchecker
endclass
module top;
    cl cl_inst;
    cl_inst.c c_inst();
endmodule

As per BNF it is not allowed. But it is not mentioned why it is not.

--
Regards
Surya




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


--
This email was Anti Virus checked by Astaro Security Gateway. http://www.astaro.com
---------------------------------------------------------------------Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material forthe sole use of the intended recipient(s). Any review or distributionby others is strictly prohibited. If you are not the intendedrecipient, please contact the sender and delete all copies.
-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.