Hi
Is the following a problem?
We use 2,5V as VREFA+ while our VDDA is 3,3V.
The datasheet seems to say the minimum for VREFA+ is 2,4 and a typical is VDDA (which is minimum 2,97V).
In the driverlib code (TivaWare_C_Series-2.2.0.295), driverlib/adc.c, ADCReferenceSet has a comment that says
If \b ADC_REF_EXT_3V is chosen, then
//! a 3V reference must be supplied to the AVREF pin.
I added below part of our schematic to make VDDA and VREFA more clear.