naveeng Posted September 28, 2011 Report Share Posted September 28, 2011 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! Quote Link to comment Share on other sites More sharing options...
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.