## Bug Title Running the testbench with VCS can’t find file vcs.tcl ### Type * Other. ### Steps to Reproduce Command line : `make vcs-run` Result: `couldn't open ../tools/vcs/vcs_batch.tcl : no such file or directory`  ### Additional context ``` cd $CORE_V_VERIF/cv32e40p/sim/core make ```  The solution is to add `--Wno-MULTIDRIVEN --Wno-COMBDLY` to the Makefile. 