[sv-bc] Checker declaration scope

From: Surya Pratik Saha <spsaha_at_.....>
Date: Thu Dec 31 2009 - 02:30:30 PST

Hi,
I don't have access to SV 2009 LRM yet. As per SV 2009 draft7a LRM (17.2 Checker declaration):

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

But BNF allows 'checker_declaration' only in compilation_unit, module and interface. Which one is correct here?

-- 
Regards
Surya

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Thu Dec 31 02:32:36 2009