[sv-bc] FW: checker instantiation

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Kulshrestha, Manisha
Sent: Friday, March 25, 2011 11:48 AM
To: sv-ac@eda.org
Subject: [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.
---------------------------------------------------------------------
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.