diff --git a/testbench/common/trace2riscvISACOV.sv b/testbench/common/trace2riscvISACOV.sv
index 307d0e8d5..21c037e3b 100644
--- a/testbench/common/trace2riscvISACOV.sv
+++ b/testbench/common/trace2riscvISACOV.sv
@@ -28,4 +28,7 @@ module trace2riscvISACOV(rvviTrace rvvi);
       $display("0x%h: %s", rvvi.insn[0][0], disass);
     end
   end
+
+  // Check assertion coverage
+  `include "RV_Assertions.sv"
 endmodule
diff --git a/testbench/testbench.sv b/testbench/testbench.sv
index 6671598ec..b5f63de67 100644
--- a/testbench/testbench.sv
+++ b/testbench/testbench.sv
@@ -756,8 +756,6 @@ 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.