Si-emulation: system verification using simulation and emulation. - Zan Yang; Byeong Min; Gwan Choi (ITC, 2000)

Verification Simulation Acceleration Using Code-Perturbation. - Byeong Min; Gwan Choi (J. Electron. Test., 2000)

RTL functional verification using excitation and observation coverage. - Byeong Min; Gwan Choi (HLDVT, 2001)

Simulation Using Code-Perturbation: Black- and White-Box Approach. - Zan Yang; Byeong Min; Gwan Choi (ISQED, 2001)

ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation. - Byeong Min; Gwan Choi (PRDC, 2001)

A practical approach of memory access parallelization to exploit multiple off-chip DDR memories. - Woo-Cheol Kwon; Sungjoo Yoo; Sung-Min Hong; Byeong Min; Kyu-Myung Choi; Soo-Kwan Eo (DAC, 2008)

An Open-Loop Flow Control Scheme Based on the Accurate Global Information of On-Chip Communication. - Woo-Cheol Kwon; Sung-Min Hong; Sungjoo Yoo; Byeong Min; Kyu-Myung Choi; Soo-Kwan Eo (DATE, 2008)

An efficient GPIO block design methodology using formalized SFR description. - Sik Kim; Kwang-Hyun Cho; Byeong Min (ISOCC, 2011)

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

Verification of massive advanced node SoCs. - DaeSeo Cha; HyunWoo Koh; NamPhil Jo; Jay B. Kim; Byeong Min; Karthik Kothandapani; Riccardo Oddone; Adam D. Sherer (ISOCC, 2012)

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)

System-level simulation acceleration for architectural performance analysis using hybrid virtual platform system. - Kyuho Shim; Woojoo Kim; Kwang-Hyun Cho; Byeong Min (ISOCC, 2012)