vlt: Use verilator from oseda environment

Author: fischeti

iis-setup.sh

@@ -8,7 +8,7 @@ export BENDER=bender-0.28.1
 export CC=gcc-9.2.0
 export CXX=g++-9.2.0
 export VCS_SEPP=vcs-2024.09
-export VERILATOR_SEPP=verilator-5.020
+export VERILATOR_SEPP=oseda
 export QUESTA_SEPP=questa-2023.4
 export LLVM_BINROOT=/usr/pack/riscv-1.0-kgf/pulp-llvm-0.12.0/bin
 

target/common/common.mk

@@ -42,7 +42,7 @@ VISUALIZE_PY     ?= $(UTIL_DIR)/bench/visualize.py
 
 # For some reason `$(VERILATOR_SEPP) which verilator` returns a
 # a two-liner with the OS on the first line, hence the tail -n1
-VERILATOR_ROOT  ?= $(dir $(shell $(VERILATOR_SEPP) which verilator | tail -n1))..
+VERILATOR_ROOT  ?= $(dir $(shell $(VERILATOR_SEPP) which verilator | tail -n1))../verilator/share/verilator
 VLT_ROOT        ?= ${VERILATOR_ROOT}
 VLT_JOBS        ?= $(shell nproc)
 VLT_NUM_THREADS ?= 1