[sv-ac] RE: checker instantiation

Hi Dimitry,

The checkers are not independent design units, they are not like
modules. Also, checkers ports semantics is like properties where formals
are substituted by actuals in the checker. This effectively means that
checkers are inlined at the place of instantiation. For this inlining to
work, at compile time only the formals have to be replaced by actuals.
Since checkers are allowed to have untyped arguments or
proeprty/sequence type of arguments etc, their interface is very
different from other design units. If the checker is instantiated using
bind, this inlining is not possible as target module is not getting
compiled at that time. Bind currently works for other design units as
these design units are not inlined at the place of instantiation and
only port based connections are sufficient.

Thanks.
Manisha

-----Original Message-----
From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Tuesday, March 29, 2011 7:19 PM
To: Kulshrestha, Manisha; sv-ac@eda.org
Subject: RE: checker instantiation

Hi Manisha,

I am not sure I completely understand your concern. To bind a checker is
the same thing as to instantiate it at the end of the design unit you
bind it to. The checker instantiation is more complicated, indeed, but
to bind a module you also need to actually make changes in the target
module.

Thanks,
Dmitry

-----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
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.