Merge pull request #1191 from davidharrishmc/dev

Enabled all unprivlieged tests and use merged RV32/RV64 coverage files.
openhwgroup · Dec 17, 2024 · d8f87ee · d8f87ee
2 parents 8ff3084 + 3329f61
commit d8f87ee
Show file tree

Hide file tree

Showing 3 changed files with 59 additions and 43 deletions.
diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
@@ -13,27 +13,35 @@
 `define CLINT_BASE 64'h02000000
 
 // Unprivileged extensions
-`include "RV32I_coverage.svh"
-`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 "RV32ZfaF_coverage.svh"
-`include "RV32ZfaD_coverage.svh"
-`include "RV32ZfaZfh_coverage.svh"
-`include "RV32ZfhD_coverage.svh"
-`include "RV32Zfh_coverage.svh"
-`include "RV32Zicond_coverage.svh"
-`include "RV32Zca_coverage.svh"
-`include "RV32Zcb_coverage.svh"
-`include "RV32ZcbM_coverage.svh"
-`include "RV32ZcbZbb_coverage.svh"
-`include "RV32Zcf_coverage.svh"
-`include "RV32Zcd_coverage.svh"
-`include "RV32Zicsr_coverage.svh"
+`include "I_coverage.svh"
+`include "M_coverage.svh"
+`include "F_coverage.svh"
+`include "D_coverage.svh"
+`include "Zba_coverage.svh"
+`include "Zbb_coverage.svh"
+`include "Zbc_coverage.svh"
+`include "Zbs_coverage.svh"
+`include "ZfaF_coverage.svh"
+`include "ZfaD_coverage.svh"
+`include "ZfaZfh_coverage.svh"
+`include "Zfh_coverage.svh"
+`include "ZfhD_coverage.svh"
+`include "Zicond_coverage.svh"
+`include "Zca_coverage.svh"
+`include "Zcb_coverage.svh"
+`include "ZcbM_coverage.svh"
+`include "ZcbZbb_coverage.svh"
+`include "Zcf_coverage.svh"
+`include "Zcd_coverage.svh"
+`include "Zicsr_coverage.svh"
+`include "Zbkb_coverage.svh"
+`include "Zbkc_coverage.svh"
+`include "Zbkx_coverage.svh"
+`include "Zknd_coverage.svh"
+`include "Zkne_coverage.svh"
+`include "Zknh_coverage.svh"
+`include "Zaamo_coverage.svh"
+`include "Zalrsc_coverage.svh"
 
 // Privileged extensions
 `include "ZicsrM_coverage.svh"

diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
@@ -13,27 +13,35 @@
 `define CLINT_BASE 64'h02000000
 
 // Unprivileged extensions
-`include "RV64I_coverage.svh"
-`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 "RV64ZfaF_coverage.svh"
-`include "RV64ZfaD_coverage.svh"
-`include "RV64ZfaZfh_coverage.svh"
-`include "RV64ZfhD_coverage.svh"
-`include "RV64Zfh_coverage.svh"
-`include "RV64Zicond_coverage.svh"
-`include "RV64Zca_coverage.svh"
-`include "RV64Zcb_coverage.svh"
-`include "RV64ZcbM_coverage.svh"
-`include "RV64ZcbZbb_coverage.svh"
-`include "RV64ZcbZba_coverage.svh"
-`include "RV64Zcd_coverage.svh"
-`include "RV64Zicsr_coverage.svh"
+`include "I_coverage.svh"
+`include "M_coverage.svh"
+`include "F_coverage.svh"
+`include "D_coverage.svh"
+`include "Zba_coverage.svh"
+`include "Zbb_coverage.svh"
+`include "Zbc_coverage.svh"
+`include "Zbs_coverage.svh"
+`include "ZfaF_coverage.svh"
+`include "ZfaD_coverage.svh"
+`include "ZfaZfh_coverage.svh"
+`include "ZfhD_coverage.svh"
+`include "Zfh_coverage.svh"
+`include "Zicond_coverage.svh"
+`include "Zca_coverage.svh"
+`include "Zcb_coverage.svh"
+`include "ZcbM_coverage.svh"
+`include "ZcbZbb_coverage.svh"
+`include "ZcbZba_coverage.svh"
+`include "Zcd_coverage.svh"
+`include "Zicsr_coverage.svh"
+`include "Zbkb_coverage.svh"
+`include "Zbkc_coverage.svh"
+`include "Zbkx_coverage.svh"
+`include "Zknd_coverage.svh"
+`include "Zkne_coverage.svh"
+`include "Zknh_coverage.svh"
+`include "Zaamo_coverage.svh"
+`include "Zalrsc_coverage.svh"
 
 // Privileged extensions
 `include "RV64VM_coverage.svh"

diff --git a/sim/questa/wally.do b/sim/questa/wally.do
@@ -104,7 +104,7 @@ if {[lcheck lst "--ccov"]} {
 # if --fcov found set flag and remove from list
 if {[lcheck lst "--fcov"]} {
     set FunctCoverage 1
-    set FCvlog "+incdir+${FCRVVI}/rv32 +incdir+${FCRVVI}/rv64 \
+    set FCvlog "+incdir+${FCRVVI}/unpriv \
                 +incdir+${FCRVVI}/priv +incdir+${FCRVVI}/rv64_priv +incdir+${FCRVVI}/rv32_priv \
                 +incdir+${FCRVVI}/common +incdir+${FCRVVI} \
                 +incdir+$env(WALLY)/addins/cvw-arch-verif/riscvISACOV/source"