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