mirror of
https://github.com/openhwgroup/cvw
synced 2025-02-11 06:05:49 +00:00
commit
3198f27c44
@ -8,6 +8,10 @@
|
|||||||
// Define XLEN, used in covergroups
|
// Define XLEN, used in covergroups
|
||||||
`define XLEN32 1
|
`define XLEN32 1
|
||||||
|
|
||||||
|
// Define relevant addresses
|
||||||
|
`define CLINT_BASE 64'h02000000
|
||||||
|
`define ACCESS_FAULT_ADDRESS 32'h0000
|
||||||
|
|
||||||
// Unprivileged extensions
|
// Unprivileged extensions
|
||||||
`include "RV32I_coverage.svh"
|
`include "RV32I_coverage.svh"
|
||||||
`include "RV32M_coverage.svh"
|
`include "RV32M_coverage.svh"
|
||||||
@ -37,3 +41,4 @@
|
|||||||
`include "ZicsrU_coverage.svh"
|
`include "ZicsrU_coverage.svh"
|
||||||
`include "RV32VM_coverage.svh"
|
`include "RV32VM_coverage.svh"
|
||||||
`include "RV32VM_PMP_coverage.svh"
|
`include "RV32VM_PMP_coverage.svh"
|
||||||
|
`include "ExceptionM_coverage.svh"
|
||||||
|
@ -8,6 +8,10 @@
|
|||||||
// Define XLEN, used in covergroups
|
// Define XLEN, used in covergroups
|
||||||
`define XLEN64 1
|
`define XLEN64 1
|
||||||
|
|
||||||
|
// Define relevant addresses
|
||||||
|
`define CLINT_BASE 64'h02000000
|
||||||
|
`define ACCESS_FAULT_ADDRESS 64'h00000000
|
||||||
|
|
||||||
// Unprivileged extensions
|
// Unprivileged extensions
|
||||||
`include "RV64I_coverage.svh"
|
`include "RV64I_coverage.svh"
|
||||||
`include "RV64M_coverage.svh"
|
`include "RV64M_coverage.svh"
|
||||||
@ -36,6 +40,7 @@
|
|||||||
`include "ZicsrM_coverage.svh"
|
`include "ZicsrM_coverage.svh"
|
||||||
`include "ZicsrF_coverage.svh"
|
`include "ZicsrF_coverage.svh"
|
||||||
`include "ZicsrU_coverage.svh"
|
`include "ZicsrU_coverage.svh"
|
||||||
|
`include "ExceptionM_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"
|
||||||
|
Loading…
Reference in New Issue
Block a user