assertoff(expr) in testbench code

[naveeng]

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!

[jadec]

Well, you could change all assert(X) into if( !(X) ) `uvm_error( "ASSERT", "assertion failed X" ).

Using a macro for this should be pretty easy.

Methodology wise this also has the advantage of using UVM messaging facility.

[amitrana]

Hi naveeng,

You can call $assertoff anywhere in your testbench.

Best place to call is ,In sequence. For example

modue top ;

Ass:assert property(p);

endmodule

In sequence body task you can do like that,

task body();

$assertoff(0,$root.top.Ass);

endtask