Text this: Clock distribution and synchronization in large digital systems /