diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 2d1730a94..217e8788a 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -17,6 +17,8 @@ `include "RV32Zcb_coverage.svh" `include "RV32ZcbM_coverage.svh" `include "RV32ZcbZbb_coverage.svh" +`include "RV32Zcf_coverage.svh" +`include "RV32Zcd_coverage.svh" // Privileged extensions `include "ZicsrM_coverage.svh" diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index df3b5403a..0491b4ab3 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -18,6 +18,7 @@ `include "RV64ZcbM_coverage.svh" `include "RV64ZcbZbb_coverage.svh" `include "RV64ZcbZba_coverage.svh" +`include "RV64Zcd_coverage.svh" // Privileged extensions `include "RV64VM_coverage.svh"