github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-04-23 05:17:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Added CSR coverage

Browse source
This commit is contained in:
David Harris 2024-10-26 02:11:40 -07:00
parent 1c1acc467e
commit e618596e52
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
config/rv32gc/coverage.svh
View file

@ -5,6 +5,7 @@
// This file is needed in the config subdirectory for each config supporting coverage.
// It defines which extensions are enabled for that config.
// Unprivileged extensions
`include "RV32I_coverage.svh"
`include "RV32M_coverage.svh"
`include "RV32F_coverage.svh"
@ -15,4 +16,7 @@
`include "RV32Zca_coverage.svh"
`include "RV32Zcb_coverage.svh"
`include "RV32ZcbM_coverage.svh"
`include "RV32ZcbZbb_coverage.svh"
`include "RV32ZcbZbb_coverage.svh"
// Privileged extensions
`include "ZicsrM_coverage.svh"

2
config/rv64gc/coverage.svh
View file

@ -12,7 +12,6 @@
`include "RV64D_coverage.svh"
`include "RV64ZfhD_coverage.svh"
`include "RV64Zfh_coverage.svh"
`include "RV64VM_coverage.svh"
`include "RV64Zicond_coverage.svh"
`include "RV64Zca_coverage.svh"
`include "RV64Zcb_coverage.svh"
@ -21,6 +20,7 @@
`include "RV64ZcbZba_coverage.svh"
// Privileged extensions
`include "RV64VM_coverage.svh"
`include "ZicsrM_coverage.svh"
// `include "RV64VM_PMP_coverage.svh"
// `include "RV64CBO_VM_coverage.svh"