diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index b05362f8d..0403b7e4b 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -10,6 +10,7 @@
 
 // Define relevant addresses
 `define ACCESS_FAULT_ADDRESS 32'h0000
+`define CLINT_BASE 64'h02000000
 
 // Unprivileged extensions
 `include "RV32I_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index 85abee104..e7c574020 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -10,6 +10,7 @@
 
 // Define relevant addresses
 `define ACCESS_FAULT_ADDRESS 64'h00000000
+`define CLINT_BASE 64'h02000000
 
 // Unprivileged extensions
 `include "RV64I_coverage.svh"