diff --git a/addins/cvw-arch-verif b/addins/cvw-arch-verif index 80cdee231..bbcba7864 160000 --- a/addins/cvw-arch-verif +++ b/addins/cvw-arch-verif @@ -1 +1 @@ -Subproject commit 80cdee231f924b3045054594d4a7769e6eddcdcc +Subproject commit bbcba78647080dee82e96bc1b8ff9cd9a3cf7fa1 diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 8fe5d6622..3a04643ad 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -11,3 +11,6 @@ `include "RV32Zfh_coverage.svh" `include "RV32Zicond_coverage.svh" `include "RV32Zca_coverage.svh" +`include "RV32Zcb_coverage.svh" +`include "RV32ZcbM_coverage.svh" +`include "RV32ZcbZbb_coverage.svh" \ No newline at end of file diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index f21eb2b1a..d1bbaedbb 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -16,3 +16,6 @@ // `include "RV64Zicbom_coverage.svh" `include "RV64Zicond_coverage.svh" `include "RV64Zca_coverage.svh" +`include "RV64Zcb_coverage.svh" +`include "RV64ZcbM_coverage.svh" +`include "RV64ZcbZbb_coverage.svh" \ No newline at end of file