From 9ca2c935f8fcc0f6e0cba6f49ff07398a00f5492 Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Sun, 9 Feb 2025 14:39:19 -0800
Subject: [PATCH] Move RV_Assertions

---
 testbench/common/trace2riscvISACOV.sv | 3 +++
 testbench/testbench.sv                | 2 --
 2 files changed, 3 insertions(+), 2 deletions(-)

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.