Skip to content

Commit

Permalink
verif: add HPDCACHE related variables in verif Makefile
Browse files Browse the repository at this point in the history
Signed-off-by: Cesar Fuguet <[email protected]>
  • Loading branch information
cfuguet committed Oct 13, 2023
1 parent 051e3e7 commit 71c4000
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 1 deletion.
2 changes: 1 addition & 1 deletion verif/env/uvme/cov/uvme_cva6_config_covg.sv
Original file line number Diff line number Diff line change
Expand Up @@ -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};
Expand Down
5 changes: 5 additions & 0 deletions verif/sim/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 1 addition & 0 deletions verif/tb/core/Flist.cva6_tb
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 71c4000

Please sign in to comment.