how do i measure a pulse width using the pca in high-speed output mode? not quite sure what registers i need to read when the interrupt is triggered. i am using a 8051f023 chip.