Exploiting reconfigurability for low-cost in-situ test and monitoring of digital PLLs. - Leyi Yin; Peng Li 001 (DAC, 2010)

High effective-resolution built-in jitter characterization with quantization noise shaping. - Leyi Yin; Yongtae Kim; Peng Li 001 (DAC, 2011)

RF BIST for ADPLL-based polar transmitters with wide-band DCO gain calibration. - Leyi Yin; Peng Li 001 (ISQED, 2011)

Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques. - Leyi Yin; Yue Deng; Peng Li 001 (ICCAD, 2012)

Simulation-Assisted Formal Verification of Nonlinear Mixed-Signal Circuits With Bayesian Inference Guidance. - Leyi Yin; Yue Deng; Peng Li 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)