Leyi Yin

According to our database, Leyi Yin authored at least 5 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Simulation-Assisted Formal Verification of Nonlinear Mixed-Signal Circuits With Bayesian Inference Guidance.

Leyi Yin, Yue Deng, Peng Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

2012

Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques.

Leyi Yin, Yue Deng, Peng Li

Proceedings of the 2012 IEEE/ACM International Conference on Computer-Aided Design, 2012

2011

RF BIST for ADPLL-based polar transmitters with wide-band DCO gain calibration.

Leyi Yin, Peng Li

Proceedings of the 12th International Symposium on Quality Electronic Design, 2011

High effective-resolution built-in jitter characterization with quantization noise shaping.

Leyi Yin, Yongtae Kim, Peng Li

Proceedings of the 48th Design Automation Conference, 2011

2010

Exploiting reconfigurability for low-cost in-situ test and monitoring of digital PLLs.

Leyi Yin, Peng Li

Proceedings of the 47th Design Automation Conference, 2010