A GPS master clock for digital broadcast synchronization applications.