ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

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

หน่วยงาน Nanyang Technological University, Singapore

รายละเอียด

ชื่อเรื่อง : Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter
นักวิจัย : Song, Yang , Fu, Haipeng , Yu, Hao , Shi, Guoyong
คำค้น : DRNTU::Engineering::Electrical and electronic engineering.
หน่วยงาน : Nanyang Technological University, Singapore
ผู้ร่วมงาน : -
ปีพิมพ์ : 2556
อ้างอิง : Song, Y., Fu, H., Yu, H., Shi, G. (2013). Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter. 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC). , http://hdl.handle.net/10220/18282 , http://dx.doi.org/10.1109/ASPDAC.2013.6509691
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

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 system-level verification with jitter. By refining initial state of PLL through backward correction, one can perform an efficient PLL verification to automatically adjust the locking range with consideration of environmental noise induced jitter. Moreover, to overcome the unstable nature during backward correction, a stability calibration is introduced in this paper to limit error. To validate our method, the proposed approach is applied to verify a number of PLL designs including single- LC or coupled-LC oscillators described by system-level behavioral model with jitter. Experimental results show that our forward reachability analysis with backward correction can succeed in reaching the adjusted locking range by correcting initial states in presence of environmental noise induced jitter.

บรรณานุกรม :
Song, Yang , Fu, Haipeng , Yu, Hao , Shi, Guoyong . (2556). Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter.
    กรุงเทพมหานคร : Nanyang Technological University, Singapore.
Song, Yang , Fu, Haipeng , Yu, Hao , Shi, Guoyong . 2556. "Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter".
    กรุงเทพมหานคร : Nanyang Technological University, Singapore.
Song, Yang , Fu, Haipeng , Yu, Hao , Shi, Guoyong . "Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter."
    กรุงเทพมหานคร : Nanyang Technological University, Singapore, 2556. Print.
Song, Yang , Fu, Haipeng , Yu, Hao , Shi, Guoyong . Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter. กรุงเทพมหานคร : Nanyang Technological University, Singapore; 2556.