diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 20bddd5c0..50beb4b14 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -58,3 +58,8 @@
 `include "EndianS_coverage.svh"
 `include "ExceptionsM_coverage.svh"
 `include "ExceptionsZc_coverage.svh"
+`include "ZicntrU_coverage.svh"
+`include "ZicntrS_coverage.svh"
+`include "ZicntrM_coverage.svh"
+`include "ZfaZfhD_coverage.svh"
+`include "ZfhminD_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index fd8f11b04..0ad16d7bc 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -57,6 +57,12 @@
 `include "EndianS_coverage.svh"
 `include "ExceptionsM_coverage.svh"
 `include "ExceptionsZc_coverage.svh"
+`include "ZicntrU_coverage.svh"
+`include "ZicntrS_coverage.svh"
+`include "ZicntrM_coverage.svh"
+`include "ZfaZfhD_coverage.svh"
+`include "ZfhminD_coverage.svh"
+
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"
 // `include "RV64CBO_PMP_coverage.svh"