diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 2d1730a94..80ab73f7b 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -17,6 +17,7 @@ `include "RV32Zcb_coverage.svh" `include "RV32ZcbM_coverage.svh" `include "RV32ZcbZbb_coverage.svh" +`include "RV32Zcf_coverage.svh" // Privileged extensions `include "ZicsrM_coverage.svh"