Changing VM covergae name to incorporate sv32 coverpoints

openhwgroup · Oct 29, 2024 · 3f94fc3 · 3f94fc3
1 parent a6de72b
commit 3f94fc3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
@@ -21,7 +21,7 @@
 `include "RV64Zcd_coverage.svh"
 
 // Privileged extensions
-`include "RVVM_coverage.svh"
+`include "VM_coverage.svh"
 `include "ZicsrM_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"