vsim -c <<!
do wally-pipelined-batch.do rv64gc wally64priv
!