Is there a specific function to determine the duration of a digital pulse on given GPIO?
No specific function. You could use the pulse as a trigger and start a timer to measure the duration. Have a look at the gpiote_example and timer examples in the nRF51 SDK.
