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

Yang Song, Haipeng Fu, Hao Yu, Guoyong Shi

Browse the full ASPDAC paper archive.