Well, we have defined model of your device here. So just look at the list and choose manual for Texas Power Supply ADS5411 EVM.
On the next page you will be able to read or download PDF file.