How could the System Verilog Assertion failures be promoted to UVM_ERROR to be reported by the UVM environment?
I am aware that it can be coded as:
assertion_name:assertproperty(// ...)else`uvm_error("SCOPE","ERROR MESSAGE")
What I am looking for is to change the default behavior so the else is not needed:
assertion_name:assertproperty(// ...)
Thanks,