Time-to-digital converter (TDC) for WiMAX ADPLL in 40-nm CMOS | IEEE Conference Publication | IEEE Xplore