From 16d078656ce649d81e59a57094fd972e87166011 Mon Sep 17 00:00:00 2001 From: JeanRochCoulon Date: Tue, 26 Sep 2023 07:05:56 +0200 Subject: [PATCH] Add option to wait for VCS license (#1476) --- verif/sim/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verif/sim/Makefile b/verif/sim/Makefile index 0e56dc6e7..36f4a1182 100644 --- a/verif/sim/Makefile +++ b/verif/sim/Makefile @@ -117,7 +117,7 @@ spike: ############################################################################### vcs-testharness: make -C $(path_var) vcs_build target=$(target) defines=$(subst +define+,,$(isscomp_opts)) - $(path_var)/work-vcs/simv $(if $(VERDI), -verdi -do $(path_var)/init_testharness.do,) +permissive -sv_lib $(path_var)/work-dpi/ariane_dpi \ + $(path_var)/work-vcs/simv +vcs+lic+wait $(if $(VERDI), -verdi -do $(path_var)/init_testharness.do,) +permissive -sv_lib $(path_var)/work-dpi/ariane_dpi \ +tohost_addr=$(shell $$RISCV/bin/${CV_SW_PREFIX}nm -B $(elf) | grep -w tohost | cut -d' ' -f1) \ +PRELOAD=$(elf) +permissive-off ++$(elf) $(issrun_opts) $(tool_path)/spike-dasm --isa=$(variant) < ./trace_rvfi_hart_00.dasm > $(log)