Looking at another way of doing the GPSDO.
I have a GPS module that will output up to a 10mhz signal, but it's jittery. It's accurate, but jittery. There is less jitter when outputting 1Mhz than 10Mhz, as the internal clock runs at 48Mhz. (Ublox Neo-7M)
I have a box of OFC-McCoy 10Mhz OCXO modules, all of them OSC92-100B. They need a 0-8v control signal, and 12v power.
The thought is, instead of using a microcontroller to count and compare the two, why not phase lock them with the 4046, but instead of using the internal vco, use the 0-8v control voltage.
For one, the 4046 control voltage is probably tailored to the internal vco. Certainly, it's not going to go up to 8V, so some signal modification is gonna be needed. The microcontoller that will setup the GPS module on power up, and display relevant information on the 40x2 LCD, can do this.
Two, I can find no data in the datasheets, or application notes, of using this chip with an external VCO.
Has anyone done this, and if so, am I thinking down the right road by using the PLL2 style control, that maintains a 0* phase lock between the two inputs?