diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 31e0d77a4..39e174412 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -29,5 +29,6 @@
 
 // Privileged extensions
 `include "ZicsrM_coverage.svh"
+`include "ZicsrF_coverage.svh"
 `include "RV32VM_coverage.svh"
 `include "RV32VM_PMP_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index fd7a2e4b2..0ab6f76a7 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -30,6 +30,7 @@
 // Privileged extensions
 `include "RV64VM_coverage.svh"
 `include "ZicsrM_coverage.svh"
+`include "ZicsrF_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"
 // `include "RV64CBO_PMP_coverage.svh"