Simulation strategy after model checking: experience in industrial SOC design. - Hoon Choi; Byeong-Whee Yun; Yun-Tae Lee (HLDVT, 2000)

Formal Verification of an Industrial System-on-a-Chip. - Hoon Choi; Myung-Kyoon Yim; Jae Young Lee; Byeong-Whee Yun; Yun-Tae Lee (ICCD, 2000)

Model Checking of S3C2400X Industrial Embedded SOC Product. - Hoon Choi; Byeong-Whee Yun; Yun-Tae Lee; Hyunglae Roh (DAC, 2001)