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