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