Trusted verification test bench development for Phase-Locked Loop (PLL) hardware insertion. - Adam G. Kimura; Kai-Wei Liu; Siddharth Prabhu; Steven B. Bibyk; Greg Creech (MWSCAS, 2013)