vsim -do "do wally-pipelined.do ../config/rv32ic"