Use manifest file

openhwgroup · Feb 10, 2025 · a4e5b19 · a4e5b19
1 parent 7462d7f
commit a4e5b19
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 1 deletion.
diff --git a/fcov/coverage/RISCV_coverage_csr.svh b/fcov/coverage/RISCV_coverage_csr.svh
@@ -81,7 +81,6 @@ typedef enum {
 
 function int get_csr_val(int hart, int issue, int prev, string name, string field);
   int addr = get_csr_addr(hart, name);
-  $display("Attempting get_csr_val: %s--%s", name, field);
   return get_csr_val_addr(hart, issue, prev, addr, name, field);
 endfunction
 

diff --git a/fcov/cvw-arch-verif.f b/fcov/cvw-arch-verif.f
@@ -0,0 +1,7 @@
++incdir+${CVW_ARCH_VERIF}/fcov/unpriv
++incdir+${CVW_ARCH_VERIF}/fcov/priv
++incdir+${CVW_ARCH_VERIF}/fcov/rv64_priv
++incdir+${CVW_ARCH_VERIF}/fcov/rv32_priv
++incdir+${CVW_ARCH_VERIF}/fcov
+${CVW_ARCH_VERIF}/fcov/rvviTrace.sv
+${CVW_ARCH_VERIF}/fcov/trace2riscvISACOV.sv
diff --git a/setup.sh b/setup.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+CVW_ARCH_VERIF=$(cd "$(dirname "${BASH_SOURCE[0]:-$0}")" && pwd)
+export CVW_ARCH_VERIF
+
+echo "\$CVW_ARCH_VERIF set to $CVW_ARCH_VERIF"