diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 7c5b55ea2..06f26b87b 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -32,6 +32,7 @@ // Note: Zmmul is a subset of M, so usually only one or the other would be used. `define ZMMUL_COVERAGE `define ZICOND_COVERAGE +`define ZIFENCEI_COVERAGE `define ZCA_COVERAGE `define ZCB_COVERAGE `define ZCF_COVERAGE @@ -63,7 +64,7 @@ `define EXCEPTIONSM_COVERAGE `define EXCEPTIONSS_COVERAGE `define EXCEPTIONSU_COVERAGE -`define EXCEPTIONSV_COVERAGE +//`define EXCEPTIONSV_COVERAGE `define EXCEPTIONSF_COVERAGE `define EXCEPTIONSZC_COVERAGE `define EXCEPTIONSZAAMO_COVERAGE diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index 5b609fa55..60c677394 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -32,6 +32,7 @@ // Note: Zmmul is a subset of M, so usually only one or the other would be used. `define ZMMUL_COVERAGE `define ZICOND_COVERAGE +`define ZIFENCEI_COVERAGE `define ZCA_COVERAGE `define ZCB_COVERAGE `define ZCD_COVERAGE @@ -60,7 +61,7 @@ `define EXCEPTIONSM_COVERAGE `define EXCEPTIONSS_COVERAGE `define EXCEPTIONSU_COVERAGE -`define EXCEPTIONSV_COVERAGE +//`define EXCEPTIONSV_COVERAGE `define EXCEPTIONSF_COVERAGE `define EXCEPTIONSZC_COVERAGE `define EXCEPTIONSVM_COVERAGE