RE: [sv-ac] Checker inside checker

Hi, Surya.

You brought up the same question two years ago, in http://www.eda-twiki.org/sv-bc/hm/9902.html.

We did not find an answer then either.

3.11 also says, "Programs and checkers can instantiate other checkers."

I guess it should have been included in checker_or_generate_item_declaration.

As Dave Rich would say, this should be included as a ballot response issue.

I have filed this as Mantis 4045.

Thanks,
Shalom

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Surya Pratik Saha
Sent: Wednesday, February 15, 2012 8:55 AM
To: sv-ac@eda.org
Subject: [sv-ac] Checker inside checker

Hi,
Is nested checker allowed inside another checker?
As per SV 2009 LRM:

A checker may be declared in one of the following:
- A module
- An interface
- A program
- A checker
- A package
- A generate block
- A compilation unit scope

Though the BNF does not allow checker declaration inside checker. Also Mantis 3033 does not change the text. Which one is correct?

--
Regards
Surya
--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed 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.