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"