Jump to content

assertoff(expr) in testbench code


Recommended Posts

We need to use $assertoff to turn-off concurrent SVA from firing. This has the side-effect of not executing simple "action-expressions" in assert(do_dunc()) type immediate assertions.

We cannot use $assertoff with arguments to identify instances w/ SVA.

Is there a way we could isolate the UVM testbench [uvm_top and below] from this $assertoff ?

Thanks!

Link to comment
Share on other sites

  • 8 months later...

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

×
×
  • Create New...