Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter

• المؤلفون الرئيسيون: Song, Yang, Fu, Haipeng, Yu, Hao, Shi, Guoyong
• مؤلفون آخرون: School of Electrical and Electronic Engineering
• التنسيق: Conference or Workshop Item
• اللغة: English
• منشور في: 2013
• الموضوعات: DRNTU::Engineering::Electrical and electronic engineering
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/101068; http://hdl.handle.net/10220/18282
• المؤسسة: Nanyang Technological University

It is unknown to perform efficient PLL system-level verification with consideration of jitter induced by substrate or power-supply noise. With the consideration of nonlinear phase noise macromodel, this paper introduces a forward reachability analysis with stable backward correction for PLL syst...