vsim -c <<!
do wally-fp64-batch.do rv64gc imperas64d
!