Merge pull request #1020 from Mysterio-Abdullah/Config

Enabling RV64ZcbZb.
This commit is contained in:
David Harris 2024-10-17 19:38:54 -07:00 committed by GitHub
commit fe99591cfa
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -18,4 +18,5 @@
`include "RV64Zca_coverage.svh" `include "RV64Zca_coverage.svh"
`include "RV64Zcb_coverage.svh" `include "RV64Zcb_coverage.svh"
`include "RV64ZcbM_coverage.svh" `include "RV64ZcbM_coverage.svh"
`include "RV64ZcbZbb_coverage.svh" `include "RV64ZcbZbb_coverage.svh"
`include "RV64ZcbZba_coverage.svh"