Digital system clocking : high-performance and low-power aspects /