From e618596e5265b2b3143f5416e60525f4cd210b0f Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Sat, 26 Oct 2024 02:11:40 -0700
Subject: [PATCH] Added CSR coverage

---
 config/rv32gc/coverage.svh | 6 +++++-
 config/rv64gc/coverage.svh | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index e2d25d765..2d1730a94 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -5,6 +5,7 @@
 // This file is needed in the config subdirectory for each config supporting coverage.
 // It defines which extensions are enabled for that config.
 
+// Unprivileged extensions
 `include "RV32I_coverage.svh"
 `include "RV32M_coverage.svh"
 `include "RV32F_coverage.svh"
@@ -15,4 +16,7 @@
 `include "RV32Zca_coverage.svh"
 `include "RV32Zcb_coverage.svh"
 `include "RV32ZcbM_coverage.svh"
-`include "RV32ZcbZbb_coverage.svh"
\ No newline at end of file
+`include "RV32ZcbZbb_coverage.svh"
+
+// Privileged extensions
+`include "ZicsrM_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index 5f60e2039..df3b5403a 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -12,7 +12,6 @@
 `include "RV64D_coverage.svh"
 `include "RV64ZfhD_coverage.svh"
 `include "RV64Zfh_coverage.svh"
-`include "RV64VM_coverage.svh"
 `include "RV64Zicond_coverage.svh"
 `include "RV64Zca_coverage.svh"
 `include "RV64Zcb_coverage.svh"
@@ -21,6 +20,7 @@
 `include "RV64ZcbZba_coverage.svh"
 
 // Privileged extensions
+`include "RV64VM_coverage.svh"
 `include "ZicsrM_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"