Design and verification of clock distribution in VLSI | IEEE Conference Publication | IEEE Xplore