Global convergence analysis of mixed-signal systems. - Sangho Youn; Jaeha Kim; Mark Horowitz (DAC, 2011)

Discretization and discrimination methods for design, verification, and testing of analog/mixed-signal circuits. - Jaeha Kim; Jiho Lee; Do-Gyoon Song; Taehwan Kim 007; Kyung-Hoon Kim; Seobin Jung; Sangho Youn (CICC, 2013)

Verifying start-up failures in coupled ring oscillators in presence of variability using predictive global optimization. - Taehwan Kim 007; Do-Gyoon Song; Sangho Youn; Jaejin Park; Hojin Park; Jaeha Kim (ICCAD, 2013)

Preventing Global Convergence Failure in Mixed-Signal Systems via Indeterminate State ('X') Elimination. - Sangho Youn; Jaeha Kim (IEEE Trans. Circuits Syst. I Regul. Pap., 2013)

Probabilistic Bug Localization via Statistical Inference based on Partially Observed Data. - Sangho Youn; Chenjie Gu; Jaeha Kim (DAC, 2014)