diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 97496a8b9..31e0d77a4 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -10,6 +10,10 @@
 `include "RV32M_coverage.svh"
 `include "RV32F_coverage.svh"
 `include "RV32D_coverage.svh"
+`include "RV32Zba_coverage.svh"
+`include "RV32Zbb_coverage.svh"
+`include "RV32Zbc_coverage.svh"
+`include "RV32Zbs_coverage.svh"
 `include "RV32ZfaF_coverage.svh"
 `include "RV32ZfaD_coverage.svh"
 `include "RV32ZfaZfh_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index d54a342dd..fd7a2e4b2 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -10,6 +10,10 @@
 `include "RV64M_coverage.svh"
 `include "RV64F_coverage.svh"
 `include "RV64D_coverage.svh"
+`include "RV64Zba_coverage.svh"
+`include "RV64Zbb_coverage.svh"
+`include "RV64Zbc_coverage.svh"
+`include "RV64Zbs_coverage.svh"
 `include "RV64ZfaF_coverage.svh"
 `include "RV64ZfaD_coverage.svh"
 `include "RV64ZfaZfh_coverage.svh"