If I use the host interface utility to read the temperature of the ADC I get a number such as 0.318750V. It is labeled as a 'Raw Value'. After looking at the formula in Section 13.1 of the Firmware UsersGuide I have determined that this RawValue is the ADC code * 1.2 / 1024, not 1023 as the formula says. I.E., using the number above, with 1024 you get an ADC value of 272; with 1023 the result is 271.7 for the ADC code, clearly incorrect. Using 1023 in the formula doesn't make a lot of difference with the temperature reading, 31.04deg vs 30.94deg with 1024, especially considering that the accuracy is 8 deg C, but 1024 should be used in the formulas for the ADC readings for the current and voltages. Yes, it is only a ~0.1% error but I noticed this when I was trying to figure out what the real ADC value was by working backwards with the formula.