System-level verification of CDMA modem ASIC. - Gyeong Lyong Park; Kyung Hi Chang; Jae Seok Kim; Kyung Soo Kim (ASP-DAC, 1995)