diff --git a/verif/sim/Makefile b/verif/sim/Makefile
index 01fffe13cc..642b83f31d 100644
--- a/verif/sim/Makefile
+++ b/verif/sim/Makefile
@@ -214,7 +214,7 @@ ALL_UVM_FLAGS   = -lca -sverilog +incdir+$(VCS_HOME)/etc/uvm/src \
 	  $(VCS_HOME)/etc/uvm/src/uvm_pkg.sv -ntb_opts uvm-1.2 -timescale=1ns/1ps \
 	  -assert svaext -race=all -ignore unique_checks -full64 -q +incdir+$(VCS_HOME)/etc/uvm/src \
 	  $(if $(DEBUG), -debug_access+all $(if $(VERDI), -kdb) $(if $(TRACE_COMPACT),+vcs+fsdbon)) \
-	  -cm_seqnoconst -diag noconst \
+	  -cm_seqnoconst -diag noconst -cm_cond arith \
 
 ALL_SIMV_UVM_FLAGS      = +vcs+lic+wait $(issrun_opts) \