Hafiz ul Asad, Kevin D. Jones. Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. In Alex K. Jones, Hai Helen Li, Ayse Kivilcim Coskun, Martin Margala, editors, Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20 - 22, 2015. pages 295-300, ACM, 2015. [doi]
Abstract is missing.