vsim -do "do wally-pipelined.do rv32gc wally32periph"