diff --git a/testbench/testbench.sv b/testbench/testbench.sv
index 696a288f1..4749b26ab 100644
--- a/testbench/testbench.sv
+++ b/testbench/testbench.sv
@@ -751,6 +751,8 @@ end
               .CMP_CSR     (1)
               ) idv_trace2api(rvvi);
 
+  `include "RV_Assertions.sv"
+
   string filename;
   initial begin
     // imperasDV requires the elffile be defined at the begining of the simulation.