In reply to dave_59:
In reply to suhas.ns:
It would help to show the generate block in your RTL, but I think you are missing an instance name in your bind statement. It should be
bind top.u_dut.u_blk_gen[asrt_inst].instname my_assert u_my_assert (
even with the instname, I face same compilation issue.
If you are binding to all instances of a module, then you do not need an instance specific bind. You could do
bind targetname my_assert u_my_assert (
Here, I’m binding to all instances, but issue is that each RTL instance is with different parameters and the my assertion has to be binded to the RTL instance with the same set of parameters which I’ll be passing while binding. And that is the reason I’m trying to bind for each instance.