Skip to content

Running the testbench with VCS can’t find file vcs.tcl

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

image

Additional context

cd $CORE_V_VERIF/cv32e40p/sim/core 
make

image The solution is to add --Wno-MULTIDRIVEN --Wno-COMBDLY to the Makefile. image