mirror of
https://github.com/openhwgroup/cvw
synced 2025-02-11 06:05:49 +00:00
Define XLEN32/XLEN64 in coverage configuration
This commit is contained in:
parent
848c5feda7
commit
eacc8c0f07
@ -5,6 +5,9 @@
|
|||||||
// This file is needed in the config subdirectory for each config supporting coverage.
|
// This file is needed in the config subdirectory for each config supporting coverage.
|
||||||
// It defines which extensions are enabled for that config.
|
// It defines which extensions are enabled for that config.
|
||||||
|
|
||||||
|
// Define XLEN, used in covergroups
|
||||||
|
`define XLEN32 1
|
||||||
|
|
||||||
// Unprivileged extensions
|
// Unprivileged extensions
|
||||||
`include "RV32I_coverage.svh"
|
`include "RV32I_coverage.svh"
|
||||||
`include "RV32M_coverage.svh"
|
`include "RV32M_coverage.svh"
|
||||||
|
@ -5,6 +5,9 @@
|
|||||||
// This file is needed in the config subdirectory for each config supporting coverage.
|
// This file is needed in the config subdirectory for each config supporting coverage.
|
||||||
// It defines which extensions are enabled for that config.
|
// It defines which extensions are enabled for that config.
|
||||||
|
|
||||||
|
// Define XLEN, used in covergroups
|
||||||
|
`define XLEN64 1
|
||||||
|
|
||||||
// Unprivileged extensions
|
// Unprivileged extensions
|
||||||
`include "RV64I_coverage.svh"
|
`include "RV64I_coverage.svh"
|
||||||
`include "RV64M_coverage.svh"
|
`include "RV64M_coverage.svh"
|
||||||
|
Loading…
Reference in New Issue
Block a user