Merge pull request #1020 from Mysterio-Abdullah/Config

Enabling RV64ZcbZb.
openhwgroup · Oct 18, 2024 · fe99591 · fe99591
2 parents abb80bb + 13520b6
commit fe99591
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
@@ -18,4 +18,5 @@
 `include "RV64Zca_coverage.svh"
 `include "RV64Zcb_coverage.svh"
 `include "RV64ZcbM_coverage.svh"
-`include "RV64ZcbZbb_coverage.svh"
+`include "RV64ZcbZbb_coverage.svh"
+`include "RV64ZcbZba_coverage.svh"