Hi There, I know of a solution that uses an 8051 internal counter running at 32MHz (Philips LPC932 8051) to do capturing of the 1PPS pulse with 33ns resolution, no FPGA needed. Some 8051's even have the DAC required to steer the OCXO built-in... bye, S. Jackson