Live Time Counters GPS
Live Time Counters
Here is a description of the Live Time Counter, by Dave Lauben (NOTE: replace 54 bits by 48 bits).
GPS
For details concerning the GPS receiver operation, please see this memo prepared by Dave Lauben.