Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-11 06:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1089 from coreyqh/dev

Browse Source 
Add ZicsrF coverage to fcov
This commit is contained in:
David Harris 2024-11-13 03:02:01 -08:00 committed by GitHub
commit b6c69fa8a3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
config/rv32gc/coverage.svh
View File

@ -29,5 +29,6 @@
// Privileged extensions // Privileged extensions
`include "ZicsrM_coverage.svh" `include "ZicsrM_coverage.svh"
`include "ZicsrF_coverage.svh"
`include "RV32VM_coverage.svh" `include "RV32VM_coverage.svh"
`include "RV32VM_PMP_coverage.svh" `include "RV32VM_PMP_coverage.svh"

1
config/rv64gc/coverage.svh
View File

@ -30,6 +30,7 @@
// Privileged extensions // Privileged extensions
`include "RV64VM_coverage.svh" `include "RV64VM_coverage.svh"
`include "ZicsrM_coverage.svh" `include "ZicsrM_coverage.svh"
`include "ZicsrF_coverage.svh"
// `include "RV64VM_PMP_coverage.svh" // `include "RV64VM_PMP_coverage.svh"
// `include "RV64CBO_VM_coverage.svh" // `include "RV64CBO_VM_coverage.svh"
// `include "RV64CBO_PMP_coverage.svh" // `include "RV64CBO_PMP_coverage.svh"