In reply to vk7715:
If all you want to do is disable the assertion, you can use $assertcontrol from the TB to turn on or off an assertion as some point in time. See section 20.11 Assertion control system tasks.
In reply to vk7715:
If all you want to do is disable the assertion, you can use $assertcontrol from the TB to turn on or off an assertion as some point in time. See section 20.11 Assertion control system tasks.