A digital lock detector for a dual loop PLL | IEEE Conference Publication | IEEE Xplore