A fast two-pass HDL simulation with on-demand dump. - Kyuho Shim; Young-Rae Cho; Namdo Kim; Hyuncheol Baik; Kyungkuk Kim; Dusung Kim; Jaebum Kim; Byeongun Min; Kyumyung Choi; Maciej J. Ciesielski; Seiyang Yang (ASP-DAC, 2008)

Beyond UVM for practical SoC verification. - Young-Nam Yun; Jae-Beom Kim; Nam-Do Kim; Byeong Min (ISOCC, 2011)

How to automate millions lines of top-level UVM testbench and handle huge register classes. - Namdo Kim; Young-Nam Yun; Young-Rae Cho; Jay B. Kim; Byeong Min (ISOCC, 2012)

Millions to thousands issues through knowledge based SoC CDC verification. - Youngchan Lee; Namdo Kim; Jay B. Kim; Byeong Min (ISOCC, 2012)

Predictive parallel event-driven HDL simulation with a new powerful prediction strategy. - Seiyang Yang; Jaehoon Han; Doowhan Kwak; Namdo Kim; Daeseo Cha; Junhyuck Park; Jay Kim (DATE, 2014)