diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index ccc194a27..789f6ae70 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -26,6 +26,8 @@
 `include "ZfaZfh_coverage.svh"
 `include "Zfh_coverage.svh"
 `include "ZfhD_coverage.svh"
+// Note: Zfhmin is a subset of Zfh, so usually only one or the other would be used.  When Zfhmin and D are supported, ZfhD should also be enabled
+`include "Zfhmin_coverage.svh"
 `include "Zicond_coverage.svh"
 `include "Zca_coverage.svh"
 `include "Zcb_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index d0ec96fb8..f86f0882f 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -26,6 +26,8 @@
 `include "ZfaZfh_coverage.svh"
 `include "ZfhD_coverage.svh"
 `include "Zfh_coverage.svh"
+// Note: Zfhmin is a subset of Zfh, so usually only one or the other would be used.  When Zfhmin and D are supported, ZfhD should also be enabled
+`include "Zfhmin_coverage.svh"
 `include "Zicond_coverage.svh"
 `include "Zca_coverage.svh"
 `include "Zcb_coverage.svh"