How to read external interrupt pulse time period using input capture unit.
There is several example codes using ICU driver. If this does not help, specify your question more is detail (and which module it is supposed to be used)
How to read Hall signal raising edge pulse time using FTM_ICU driver.
Mcu : S32K144
SDK : PLATFORMSDK_S32K1_2022_02_S32K144_M4F_1.0.1_PATH
S32 design studio version 3.4.