[time-nuts] GPSDO using 100Hz

[Peter Vince]

> >B) The variable pulse width of the 100Hz (and 10kHz) outputs do no favours
> to an XOR phase detector, its better to use the leading edges of these signals.
> We agree again, That is why they MUST be divided by two first, using the
correct edge.

I'm not convinced that would cure the problem.  Yes, it would correct for pulses
that weren't a perfect 1:1 mark-space ratio, but assuming the shape is constant,
surely that isn't a problem?  However, when a +/- 50ns step was inserted, surely
the effect of that would at best be halved by dividing the 100Hz by two?

Peter Vince