[sv-bc] 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.