mirror of
https://github.com/openhwgroup/cvw
synced 2025-02-11 06:05:49 +00:00
Merge branch 'main' of https://github.com/openhwgroup/cvw into dev
This commit is contained in:
commit
eff6980926
@ -8,6 +8,10 @@
|
|||||||
// Define XLEN, used in covergroups
|
// Define XLEN, used in covergroups
|
||||||
`define XLEN32 1
|
`define XLEN32 1
|
||||||
|
|
||||||
|
// Define relevant addresses
|
||||||
|
`define ACCESS_FAULT_ADDRESS 32'h0000
|
||||||
|
`define CLINT_BASE 64'h02000000
|
||||||
|
|
||||||
// Unprivileged extensions
|
// Unprivileged extensions
|
||||||
`include "RV32I_coverage.svh"
|
`include "RV32I_coverage.svh"
|
||||||
`include "RV32M_coverage.svh"
|
`include "RV32M_coverage.svh"
|
||||||
@ -40,3 +44,4 @@
|
|||||||
`include "EndianU_coverage.svh"
|
`include "EndianU_coverage.svh"
|
||||||
`include "EndianM_coverage.svh"
|
`include "EndianM_coverage.svh"
|
||||||
`include "EndianS_coverage.svh"
|
`include "EndianS_coverage.svh"
|
||||||
|
`include "ExceptionsM_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 ACCESS_FAULT_ADDRESS 64'h00000000
|
||||||
|
`define CLINT_BASE 64'h02000000
|
||||||
|
|
||||||
// Unprivileged extensions
|
// Unprivileged extensions
|
||||||
`include "RV64I_coverage.svh"
|
`include "RV64I_coverage.svh"
|
||||||
`include "RV64M_coverage.svh"
|
`include "RV64M_coverage.svh"
|
||||||
@ -39,6 +43,7 @@
|
|||||||
`include "EndianU_coverage.svh"
|
`include "EndianU_coverage.svh"
|
||||||
`include "EndianM_coverage.svh"
|
`include "EndianM_coverage.svh"
|
||||||
`include "EndianS_coverage.svh"
|
`include "EndianS_coverage.svh"
|
||||||
|
`include "ExceptionsM_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"
|
||||||
|
@ -2,6 +2,8 @@
|
|||||||
|
|
||||||
#include "pcnt_driver.h"
|
#include "pcnt_driver.h"
|
||||||
|
|
||||||
|
extern int main(int argc, char *argv[]);
|
||||||
|
|
||||||
int pre_main(int argc, char *argv[]) {
|
int pre_main(int argc, char *argv[]) {
|
||||||
long int bpmp0, brcnt0, bpmp1, brcnt1;
|
long int bpmp0, brcnt0, bpmp1, brcnt1;
|
||||||
long int bpmp_diff, brcnt_diff;
|
long int bpmp_diff, brcnt_diff;
|
||||||
|
Loading…
Reference in New Issue
Block a user