Merge branch 'main' of https://github.com/openhwgroup/cvw into rvvi_s…

…etup
openhwgroup · Nov 1, 2024 · 72124aa · 72124aa
2 parents 571ec51 + aa156c2
commit 72124aa
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
@@ -10,6 +10,9 @@
 `include "RV32M_coverage.svh"
 `include "RV32F_coverage.svh"
 `include "RV32D_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"

diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
@@ -10,6 +10,9 @@
 `include "RV64M_coverage.svh"
 `include "RV64F_coverage.svh"
 `include "RV64D_coverage.svh"
+`include "RV64ZfaF_coverage.svh"
+`include "RV32ZfaD_coverage.svh"
+`include "RV32ZfaZfh_coverage.svh"
 `include "RV64ZfhD_coverage.svh"
 `include "RV64Zfh_coverage.svh"
 `include "RV64Zicond_coverage.svh"