From 27492499c69ec508a2f1390b59d1bf1a3233c96d Mon Sep 17 00:00:00 2001 From: Corey Hickson Date: Thu, 31 Oct 2024 02:48:53 -0700 Subject: [PATCH] Enabled ZfaF, ZfaD, ZfaZfh coverage --- config/rv32gc/coverage.svh | 3 +++ config/rv64gc/coverage.svh | 3 +++ 2 files changed, 6 insertions(+) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 217e8788a..2eb52541f 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -10,6 +10,9 @@ `include "RV32M_coverage.svh" `include "RV32F_coverage.svh" `include "RV32D_coverage.svh" +`include "RV32ZfaF_coverage.svh" +`include "RV32ZfaD_coverage.svh" +`include "RV32ZfaZfh_coverage.svh" `include "RV32ZfhD_coverage.svh" `include "RV32Zfh_coverage.svh" `include "RV32Zicond_coverage.svh" diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index 0491b4ab3..d594a3a44 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -10,6 +10,9 @@ `include "RV64M_coverage.svh" `include "RV64F_coverage.svh" `include "RV64D_coverage.svh" +`include "RV64ZfaF_coverage.svh" +`include "RV32ZfaD_coverage.svh" +`include "RV32ZfaZfh_coverage.svh" `include "RV64ZfhD_coverage.svh" `include "RV64Zfh_coverage.svh" `include "RV64Zicond_coverage.svh"