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