From 71c4000ff338b4434bc3c465aadbac42a69df802 Mon Sep 17 00:00:00 2001 From: Cesar Fuguet Date: Fri, 13 Oct 2023 12:33:21 +0200 Subject: [PATCH] verif: add HPDCACHE related variables in verif Makefile Signed-off-by: Cesar Fuguet --- verif/env/uvme/cov/uvme_cva6_config_covg.sv | 2 +- verif/sim/Makefile | 5 +++++ verif/tb/core/Flist.cva6_tb | 1 + 3 files changed, 7 insertions(+), 1 deletion(-) diff --git a/verif/env/uvme/cov/uvme_cva6_config_covg.sv b/verif/env/uvme/cov/uvme_cva6_config_covg.sv index 39eeb2379e..1aab5399f2 100644 --- a/verif/env/uvme/cov/uvme_cva6_config_covg.sv +++ b/verif/env/uvme/cov/uvme_cva6_config_covg.sv @@ -145,7 +145,7 @@ covergroup cg_cva6_config(string name) with function sample(); bins PerfCounterEn ={0}; } cp_DcacheType : coverpoint cva6_config_pkg::CVA6ConfigDcacheType { - bins DcacheType ={cva6_config_pkg::WT}; + bins DcacheType ={config_pkg::WT}; } cp_MmuPresent : coverpoint cva6_config_pkg::CVA6ConfigMmuPresent { bins MmuPresent ={0}; diff --git a/verif/sim/Makefile b/verif/sim/Makefile index e3ca2e935c..3bafe322c7 100644 --- a/verif/sim/Makefile +++ b/verif/sim/Makefile @@ -19,6 +19,11 @@ ifndef TARGET_CFG export TARGET_CFG = $(target) endif +HPDCACHE_DIR ?= $(CVA6_REPO_DIR)/core/cache_subsystem/hpdcache +export HPDCACHE_DIR +HPDCACHE_TARGET_CFG ?= ${CVA6_REPO_DIR}/core/include/cva6_hpdcache_default_config_pkg.sv +export HPDCACHE_TARGET_CFG + .DEFAULT_GOAL := help FLIST_TB := $(CVA6_TB_DIR)/Flist.cva6_tb diff --git a/verif/tb/core/Flist.cva6_tb b/verif/tb/core/Flist.cva6_tb index 67b49b0634..984fb1b68e 100644 --- a/verif/tb/core/Flist.cva6_tb +++ b/verif/tb/core/Flist.cva6_tb @@ -31,6 +31,7 @@ ${CVA6_REPO_DIR}/corev_apu/axi_mem_if/src/axi2mem.sv ${CVA6_REPO_DIR}/corev_apu/tb/ariane_soc_pkg.sv ${CVA6_REPO_DIR}/corev_apu/tb/axi_intf.sv ${CVA6_REPO_DIR}/corev_apu/tb/ariane_axi_pkg.sv +${CVA6_REPO_DIR}/corev_apu/tb/ariane_axi_soc_pkg.sv // RVFI tracer ${CVA6_REPO_DIR}/corev_apu/tb/rvfi_tracer.sv