Bigpipe ping command

What is the cli command to ping a device from the f5 device?     I need to verify the connection between my f5 to a server. But I want to check it from the viprion to the pc using server usin...