From eacc8c0f072dd0f45860d7b18d9e21ead68b5472 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Thu, 14 Nov 2024 08:14:22 -0800
Subject: [PATCH] Define XLEN32/XLEN64 in coverage configuration

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

diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 97496a8b9..3952b1032 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -5,6 +5,9 @@
 // This file is needed in the config subdirectory for each config supporting coverage.
 // It defines which extensions are enabled for that config.
 
+// Define XLEN, used in covergroups
+`define XLEN32 1
+
 // Unprivileged extensions
 `include "RV32I_coverage.svh"
 `include "RV32M_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index d54a342dd..bbc6590c3 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -5,6 +5,9 @@
 // This file is needed in the config subdirectory for each config supporting coverage.
 // It defines which extensions are enabled for that config.
 
+// Define XLEN, used in covergroups
+`define XLEN64 1
+
 // Unprivileged extensions
 `include "RV64I_coverage.svh"
 `include "RV64M_coverage.svh"