Sign in
Leyi Yin
Publication Activity (10 Years)
Years Active: 2010-2013
Publications (10 Years): 0
Top Topics
Gibbs Sampler
Bayesian Inference
Mixed Signal
Vlsi Circuits
Top Venues
ICCAD
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Leyi Yin
,
Yue Deng
,
Peng Li
Simulation-Assisted Formal Verification of Nonlinear Mixed-Signal Circuits With Bayesian Inference Guidance.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
32 (7) (2013)
Leyi Yin
,
Yue Deng
,
Peng Li
Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques.
ICCAD
(2012)
Leyi Yin
,
Yongtae Kim
,
Peng Li
High effective-resolution built-in jitter characterization with quantization noise shaping.
DAC
(2011)
Leyi Yin
,
Peng Li
RF BIST for ADPLL-based polar transmitters with wide-band DCO gain calibration.
ISQED
(2011)
Leyi Yin
,
Peng Li
Exploiting reconfigurability for low-cost in-situ test and monitoring of digital PLLs.
DAC
(2010)