diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 0403b7e4b..ee996e11c 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -44,4 +44,5 @@
 `include "EndianU_coverage.svh"
 `include "EndianM_coverage.svh"
 `include "EndianS_coverage.svh"
-`include "ExceptionsM_coverage.svh"
\ No newline at end of file
+`include "ExceptionsM_coverage.svh"
+`include "ExceptionsInstr_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index e7c574020..a2d691e4e 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -44,6 +44,7 @@
 `include "EndianM_coverage.svh"
 `include "EndianS_coverage.svh"
 `include "ExceptionsM_coverage.svh"
+`include "ExceptionsInstr_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"
 // `include "RV64CBO_PMP_coverage.svh"