vsim -do "do wally-pipelined.do rv64gc imperas64f"