A Digital Circuit for Jitter Reduction of GPS-disciplined 1-pps Synchronization Signals