From ad48de29b3a740371a3e23fb9d385648596237c3 Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Sun, 22 Jun 2025 16:45:05 -0700 Subject: [PATCH] Disable vector coverage by default The coverpoints are still in flux and easily break with incorrect configurations. Wally also doesn't support vector. --- config/rv32gc/coverage.svh | 10 +++++----- config/rv64gc/coverage.svh | 10 +++++----- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 06f26b87b..47f22cf91 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -17,10 +17,10 @@ `define M_COVERAGE `define F_COVERAGE `define D_COVERAGE -`define VX8_COVERAGE -`define VX16_COVERAGE -`define VX32_COVERAGE -`define VX64_COVERAGE +// `define VX8_COVERAGE +// `define VX16_COVERAGE +// `define VX32_COVERAGE +// `define VX64_COVERAGE `define ZBA_COVERAGE `define ZBB_COVERAGE `define ZBC_COVERAGE @@ -81,4 +81,4 @@ `define INTERRUPTSSSTC_COVERAGE `define SSSTRICTS_COVERAGE `define SSSTRICTM_COVERAGE -`define SSSTRICTV_COVERAGE \ No newline at end of file +// `define SSSTRICTV_COVERAGE diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index 60c677394..d9a8e54c6 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -17,10 +17,10 @@ `define M_COVERAGE `define F_COVERAGE `define D_COVERAGE -`define VX8_COVERAGE -`define VX16_COVERAGE -`define VX32_COVERAGE -`define VX64_COVERAGE +// `define VX8_COVERAGE +// `define VX16_COVERAGE +// `define VX32_COVERAGE +// `define VX64_COVERAGE `define ZBA_COVERAGE `define ZBB_COVERAGE `define ZBC_COVERAGE @@ -78,7 +78,7 @@ `define INTERRUPTSSSTC_COVERAGE `define SSSTRICTS_COVERAGE `define SSSTRICTM_COVERAGE -`define SSSTRICTV_COVERAGE +// `define SSSTRICTV_COVERAGE // `define RV64VM_PMP_COVERAGE // `define RV64CBO_VM_COVERAGE