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

• Main Authors: 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

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...