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)

A web service for automated IP/SoC verification using computers on network. - Yeon-Ho Im; Seong-Hee Yim; Jay B. Kim (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)