[sv-ac] checker instantiation

Hi Dimitry,

Nowhere in the checker chapter it talks about checker instantiation using bind. The only syntax it shows is:

concurrent_assertion_item ::= // from A.2.10
...
| checker_instantiation

But I see that bind statement can also include checker intantiation. Now, the question is where this checker is defined ? Is it in the target scope or in the same scope as where bind is ? Since checker is not a design unit, it's declaration has to be directly visible at the point of instantiation. I have concerns about this bind based instantiation as checker is not a design unit and it's instantiation semantics is very different from the way other design units are instantiated.

Manisha

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.