mirror of
https://github.com/openhwgroup/cvw.git
synced 2025-04-23 05:17:20 -04:00
Merge pull request #1119 from openhwgroup/revert-1118-priv_fcov
Revert "Add ExceptionM to fcov"
This commit is contained in:
commit
5beeb5a88f
2 changed files with 0 additions and 10 deletions
|
@ -8,10 +8,6 @@
|
|||
// Define XLEN, used in covergroups
|
||||
`define XLEN32 1
|
||||
|
||||
// Define relevant addresses
|
||||
`define CLINT_BASE 64'h02000000
|
||||
`define ACCESS_FAULT_ADDRESS 32'h0000
|
||||
|
||||
// Unprivileged extensions
|
||||
`include "RV32I_coverage.svh"
|
||||
`include "RV32M_coverage.svh"
|
||||
|
@ -41,4 +37,3 @@
|
|||
`include "ZicsrU_coverage.svh"
|
||||
`include "RV32VM_coverage.svh"
|
||||
`include "RV32VM_PMP_coverage.svh"
|
||||
`include "ExceptionM_coverage.svh"
|
||||
|
|
|
@ -8,10 +8,6 @@
|
|||
// Define XLEN, used in covergroups
|
||||
`define XLEN64 1
|
||||
|
||||
// Define relevant addresses
|
||||
`define CLINT_BASE 64'h02000000
|
||||
`define ACCESS_FAULT_ADDRESS 64'h00000000
|
||||
|
||||
// Unprivileged extensions
|
||||
`include "RV64I_coverage.svh"
|
||||
`include "RV64M_coverage.svh"
|
||||
|
@ -40,7 +36,6 @@
|
|||
`include "ZicsrM_coverage.svh"
|
||||
`include "ZicsrF_coverage.svh"
|
||||
`include "ZicsrU_coverage.svh"
|
||||
`include "ExceptionM_coverage.svh"
|
||||
// `include "RV64VM_PMP_coverage.svh"
|
||||
// `include "RV64CBO_VM_coverage.svh"
|
||||
// `include "RV64CBO_PMP_coverage.svh"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue