From 7792b1e5ffe36287e832e2d6adc65e93cbc898e8 Mon Sep 17 00:00:00 2001 From: Roman De Santos Date: Fri, 7 Feb 2025 15:37:49 -0800 Subject: [PATCH] Added Fcov tests --- config/rv32gc/coverage.svh | 5 +++++ config/rv64gc/coverage.svh | 6 ++++++ 2 files changed, 11 insertions(+) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 20bddd5c0..50beb4b14 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -58,3 +58,8 @@ `include "EndianS_coverage.svh" `include "ExceptionsM_coverage.svh" `include "ExceptionsZc_coverage.svh" +`include "ZicntrU_coverage.svh" +`include "ZicntrS_coverage.svh" +`include "ZicntrM_coverage.svh" +`include "ZfaZfhD_coverage.svh" +`include "ZfhminD_coverage.svh" diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index fd8f11b04..0ad16d7bc 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -57,6 +57,12 @@ `include "EndianS_coverage.svh" `include "ExceptionsM_coverage.svh" `include "ExceptionsZc_coverage.svh" +`include "ZicntrU_coverage.svh" +`include "ZicntrS_coverage.svh" +`include "ZicntrM_coverage.svh" +`include "ZfaZfhD_coverage.svh" +`include "ZfhminD_coverage.svh" + // `include "RV64VM_PMP_coverage.svh" // `include "RV64CBO_VM_coverage.svh" // `include "RV64CBO_PMP_coverage.svh"