The clock distribution of the Power4 microprocessor | IEEE Conference Publication | IEEE Xplore