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

Yes, sure. I missed that this was related also to checker, and not directly to class.

Dmitry

-----Original Message-----
From: Mirek Forczek [mailto:Mirek.Forczek@aldec.com]
Sent: Wednesday, January 07, 2009 2:58 PM
To: Korchemny, Dmitry; 'Surya Pratik Saha'; 'sv-bc@eda.org'; 'sv-ac@eda.org'
Cc: 'sv-sc@eda.org'
Subject: RE: [sv-sc] RE: [sv-ac] Checker instantiation syntax

Hi,

Considering example 2:

accordingly to the draft8 checker cannot be declared inside class (class is
not mentioned on list of places where checker may be declared, see 17.2)

Regards,
Mirek

-----Original Message-----
From: owner-sv-sc@server.eda.org [mailto:owner-sv-sc@server.eda.org] On
Behalf Of Korchemny, Dmitry
Sent: Tuesday, January 06, 2009 12:37 PM
To: Surya Pratik Saha; sv-bc@eda.org; sv-ac@eda.org
Cc: sv-sc@eda.org
Subject: [sv-sc] 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.

---------------------------------------------------------------------
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.