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

• Main Authors: Song, Yang, Fu, Haipeng, Yu, Hao, Shi, Guoyong
• Other Authors: School of Electrical and Electronic Engineering
• Format: Conference or Workshop Item
• Language: English
• Published: 2013
• Subjects: DRNTU::Engineering::Electrical and electronic engineering
• Online Access: https://hdl.handle.net/10356/101068; http://hdl.handle.net/10220/18282
• Institution: 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...