Clock distribution networks in VLSI circuits and systems (IEE Press, 1995)