Hi Lars,
I found your thread and I really liked the way it is set up, so I decided to build one myself.
I already had a Bliley 10MHz ocxo with the following specs:
VCC=5VDC, Vout =0-5V, Vcontrol to obtain 10MHz =2,76V, so that should fit well in your design.
I used one of the Chinese NANO AT328 boards with USB on board, it runs your software well.
I ordered the parts and put it together, but.....
It did not work directly, so I did some troubleshooting.
I found the 10MHz being OK, meaning a reasonable square wave between 0V and 4.5V with an duty cycle of about 50%.
The divided 5MHz and 1MHz are OK too.
I used a Chinese 5V GPS receiver board, where I picked the 1PPS from the onboard series resistor with blue LED, also with proper levels.
And still it would not work.
It would never lock, but I would see the ns column and the ns difference column counting up- and down.
So, I tried to see the 0-1us pulse going into the arduino, and.... it was not there?!?
It took me a while, but I goofed big time when I ordered my parts.
I assumed that a CD4046 would be the same as a 74HC(T)4046, usually the CD4xxx is the same as a TI4xxx or a MC4xxx etc.
But, it turned out a CD4046 only has the first two comparators, pin 15 inside a CD4046 is just a zener coming from the +5V,
while a 74HC(T)4046 has the third comparator output on pin 15 you actually use in your design...
So I ordered some 74HC4046's , as soon as they are here, I will follow-up.
To be continued, thanks for now,
Un saludo,
Leo