diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index 855c1f6a9..c89b116c9 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -7,5 +7,6 @@ `include "RV64I_coverage.svh" `include "RV64M_coverage.svh" -//`include "RV64F_coverage.svh" +`include "RV64F_coverage.svh" `include "RV64Zicond_coverage.svh" +`include "RV64Zca_coverage.svh"