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

Yes, Mirek is correct. I did a mistake here. Thanks for the helps.

Regards
Surya



-------- Original Message  --------
Subject: Re:[sv-sc] RE: [sv-ac] Checker instantiation syntax
From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
To: Mirek Forczek <Mirek.Forczek@aldec.com>, 'Surya Pratik Saha' 
<spsaha@cal.interrasystems.com>, 'sv-bc@eda.org' <sv-bc@eda.org>, 
'sv-ac@eda.org' <sv-ac@eda.org>
Cc: "'sv-sc@eda.org'" <sv-sc@eda.org>
Date: Wednesday, January 07, 2009 6:30:31 PM
> 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.