From 885d8cb936d37f2fdbbd9c635e7881baf706d007 Mon Sep 17 00:00:00 2001 From: Corey Hickson Date: Thu, 24 Oct 2024 04:53:41 -0700 Subject: [PATCH] Enabling D and ZfhD Coverage --- config/rv32gc/coverage.svh | 2 ++ config/rv64gc/coverage.svh | 2 ++ 2 files changed, 4 insertions(+) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 3a04643ad..e2d25d765 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -8,6 +8,8 @@ `include "RV32I_coverage.svh" `include "RV32M_coverage.svh" `include "RV32F_coverage.svh" +`include "RV32D_coverage.svh" +`include "RV32ZfhD_coverage.svh" `include "RV32Zfh_coverage.svh" `include "RV32Zicond_coverage.svh" `include "RV32Zca_coverage.svh" diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index 845b20e58..5f60e2039 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -9,6 +9,8 @@ `include "RV64I_coverage.svh" `include "RV64M_coverage.svh" `include "RV64F_coverage.svh" +`include "RV64D_coverage.svh" +`include "RV64ZfhD_coverage.svh" `include "RV64Zfh_coverage.svh" `include "RV64VM_coverage.svh" `include "RV64Zicond_coverage.svh"