My S32K3 needs to measure the peak voltage of an input signal that is either a 1khz PWM signal or LIN communication. Given that my Simulink step time is 10ms, this cannot be achieved through Simulink. Given that a 'peak' can in the range of <10us, please advise on how to configure an ADC channel to measure such an input.