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)