From d22988b6788233dd5b2fc7740274b1d00b894dc1 Mon Sep 17 00:00:00 2001 From: Zain2050 Date: Sat, 26 Oct 2024 09:17:34 -0700 Subject: [PATCH] also added Zcd --- config/rv32gc/coverage.svh | 1 + config/rv64gc/coverage.svh | 1 + 2 files changed, 2 insertions(+) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 80ab73f7b..217e8788a 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -18,6 +18,7 @@ `include "RV32ZcbM_coverage.svh" `include "RV32ZcbZbb_coverage.svh" `include "RV32Zcf_coverage.svh" +`include "RV32Zcd_coverage.svh" // Privileged extensions `include "ZicsrM_coverage.svh" diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index df3b5403a..0491b4ab3 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -18,6 +18,7 @@ `include "RV64ZcbM_coverage.svh" `include "RV64ZcbZbb_coverage.svh" `include "RV64ZcbZba_coverage.svh" +`include "RV64Zcd_coverage.svh" // Privileged extensions `include "RV64VM_coverage.svh"