vsim -c <<!
do wally-pipelined-batch.do ../config/rv64imc rv64imc
!