FPGA design to help calibrate 10MHz OCXOs to a GPS PPS signal - View it on GitHub