From 912d593acfd5cc21b5e6d0717631836924ba50e3 Mon Sep 17 00:00:00 2001
From: Daniyal-R-A <97160211+Daniyal-R-A@users.noreply.github.com>
Date: Mon, 4 Nov 2024 21:38:51 -0800
Subject: [PATCH] Enabling Zb* and Zk*

---
 config/rv32gc/coverage.svh | 12 ++++++++++++
 config/rv64gc/coverage.svh | 19 +++++++++++++++++++
 2 files changed, 31 insertions(+)

diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 2eb52541f..522eb24d1 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -10,6 +10,13 @@
 `include "RV32M_coverage.svh"
 `include "RV32F_coverage.svh"
 `include "RV32D_coverage.svh"
+`include "RV32Zba_coverage.svh"
+`include "RV32Zbb_coverage.svh"
+`include "RV32Zbc_coverage.svh"
+`include "RV32Zbs_coverage.svh"
+`include "RV32Zbkb_coverage.svh"
+`include "RV32Zbkc_coverage.svh"
+`include "RV32Zbkx_coverage.svh"
 `include "RV32ZfaF_coverage.svh"
 `include "RV32ZfaD_coverage.svh"
 `include "RV32ZfaZfh_coverage.svh"
@@ -22,6 +29,11 @@
 `include "RV32ZcbZbb_coverage.svh"
 `include "RV32Zcf_coverage.svh"
 `include "RV32Zcd_coverage.svh"
+`include "RV32Zaamo_coverage.svh"
+`include "RV32Zalrsc_coverage.svh"
+`include "RV32Zknd_coverage.svh"
+`include "RV32Zkne_coverage.svh"
+`include "RV32Zknh_coverage.svh"
 
 // Privileged extensions
 `include "ZicsrM_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index d594a3a44..a293eb5b1 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -10,6 +10,13 @@
 `include "RV64M_coverage.svh"
 `include "RV64F_coverage.svh"
 `include "RV64D_coverage.svh"
+`include "RV64Zba_coverage.svh"
+`include "RV64Zbb_coverage.svh"
+`include "RV64Zbc_coverage.svh"
+`include "RV64Zbs_coverage.svh"
+`include "RV64Zbkb_coverage.svh"
+`include "RV64Zbkc_coverage.svh"
+`include "RV64Zbkx_coverage.svh"
 `include "RV64ZfaF_coverage.svh"
 `include "RV32ZfaD_coverage.svh"
 `include "RV32ZfaZfh_coverage.svh"
@@ -22,6 +29,18 @@
 `include "RV64ZcbZbb_coverage.svh"
 `include "RV64ZcbZba_coverage.svh"
 `include "RV64Zcd_coverage.svh"
+`include "RV64Zaamo_coverage.svh"
+`include "RV64Zalrsc_coverage.svh"
+`include "RV64Zknd_coverage.svh"
+`include "RV64Zkne_coverage.svh"
+`include "RV64Zknh_coverage.svh"
+
+
+
+
+
+
+
 
 // Privileged extensions
 `include "RV64VM_coverage.svh"