furthermore, the code is based on K60N512, if you use K60D100, maybe you have to review code and modify. for example, the core/system clock frequency, especially, the ADC channel configuration.
There are two example, one is based on MQX, another is without MQX, I do not know which one you are using.
I use the example without MQX, pls refer to the void ADCinit(void){} in peripherals_init.c, especially the follwoing code:
ADC1_SC1B = ADC_SC1_AIEN_MASK | ADC_SC1_ADCH(19); //
ADC1_SC1A = ADC_SC1_AIEN_MASK | ADC_SC1_ADCH(10); //
ADC0_SC1A = ADC_SC1_AIEN_MASK | ADC_SC1_ADCH(19); //
ADC0_SC1B = ADC_SC1_AIEN_MASK | ADC_SC1_ADCH(12); //
for example, channel10 is Dc bus voltage, pls check if the CH19 of ADC1, CH19 of ADC0 and CH12 of ADC0 are back emf channels, by checking the schematics of the power stage board and the K60D tower board.