From 6ce4a030f22e34660e205852a9c758f8ff7b6951 Mon Sep 17 00:00:00 2001
From: Corey Hickson <chickson@hmc.edu>
Date: Thu, 21 Nov 2024 03:20:13 -0800
Subject: [PATCH] Add ExceptionM to fcov

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

diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 93be70707..4b23573e1 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -8,6 +8,10 @@
 // Define XLEN, used in covergroups
 `define XLEN32 1
 
+// Define relevant addresses
+`define CLINT_BASE 64'h02000000
+`define ACCESS_FAULT_ADDRESS 32'h0000
+
 // Unprivileged extensions
 `include "RV32I_coverage.svh"
 `include "RV32M_coverage.svh"
@@ -37,3 +41,4 @@
 `include "ZicsrU_coverage.svh"
 `include "RV32VM_coverage.svh"
 `include "RV32VM_PMP_coverage.svh"
+`include "ExceptionM_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index 057e79898..1756ec6a4 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -8,6 +8,10 @@
 // Define XLEN, used in covergroups
 `define XLEN64 1
 
+// Define relevant addresses
+`define CLINT_BASE 64'h02000000
+`define ACCESS_FAULT_ADDRESS 64'h00000000
+
 // Unprivileged extensions
 `include "RV64I_coverage.svh"
 `include "RV64M_coverage.svh"
@@ -36,6 +40,7 @@
 `include "ZicsrM_coverage.svh"
 `include "ZicsrF_coverage.svh"
 `include "ZicsrU_coverage.svh"
+`include "ExceptionM_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"
 // `include "RV64CBO_PMP_coverage.svh"