From f258384596fd2975f14d3e6f0f86ebc4fb44ba52 Mon Sep 17 00:00:00 2001
From: Huda-10xe <huda.sajjad@10xengineers.ai>
Date: Fri, 1 Nov 2024 06:07:49 -0700
Subject: [PATCH] Adding sv32 coverpoins

---
 config/rv32gc/coverage.svh | 2 ++
 sim/questa/wally.do        | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 2eb52541f..97496a8b9 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -25,3 +25,5 @@
 
 // Privileged extensions
 `include "ZicsrM_coverage.svh"
+`include "RV32VM_coverage.svh"
+`include "RV32VM_PMP_coverage.svh"
diff --git a/sim/questa/wally.do b/sim/questa/wally.do
index a53a0e3c7..c692b06e1 100644
--- a/sim/questa/wally.do
+++ b/sim/questa/wally.do
@@ -181,7 +181,7 @@ if {$DEBUG > 0} {
 # suppress spurious warnngs about
 # "Extra checking for conflicts with always_comb done at vopt time"
 # because vsim will run vopt
-set INC_DIRS "+incdir+${CONFIG}/${CFG} +incdir+${CONFIG}/deriv/${CFG} +incdir+${CONFIG}/shared +incdir+${FCRVVI} +incdir+${FCRVVI}/rv32 +incdir+${FCRVVI}/rv64 +incdir+${FCRVVI}/rv64_priv +incdir+${FCRVVI}/priv +incdir+${FCRVVI}/common +incdir+${FCRVVI}"
+set INC_DIRS "+incdir+${CONFIG}/${CFG} +incdir+${CONFIG}/deriv/${CFG} +incdir+${CONFIG}/shared +incdir+${FCRVVI} +incdir+${FCRVVI}/rv32 +incdir+${FCRVVI}/rv64 +incdir+${FCRVVI}/rv64_priv +incdir+${FCRVVI}/priv +incdir+${FCRVVI}/rv32_priv +incdir+${FCRVVI}/common +incdir+${FCRVVI}"
 set SOURCES "${SRC}/cvw.sv ${TB}/${TESTBENCH}.sv ${TB}/common/*.sv ${SRC}/*/*.sv ${SRC}/*/*/*.sv ${WALLY}/addins/verilog-ethernet/*/*.sv ${WALLY}/addins/verilog-ethernet/*/*/*/*.sv"
 vlog -permissive -lint -work ${WKDIR} {*}${INC_DIRS} {*}${FCvlog} {*}${FCdefineCOVER_EXTS} {*}${lockstepvlog} {*}${SOURCES} -suppress 2282,2583,7053,7063,2596,13286