A cost-effective media processor for embedded applications [audio decoder example]. - Wen-Kai Huang; I-Ting Lin; Shi-Wei Chen; Ing-Jer Huang (ISCAS (6), 2005)

Automatic Verification of External Interrupt Behaviors for Microprocessor Design. - Fu-Ching Yang; Wen-Kai Huang; Ing-Jer Huang (DAC, 2007)

Automatic Verification of External Interrupt Behaviors for Microprocessor Design. - Fu-Ching Yang; Wen-Kai Huang; Jing-Kun Zhong; Ing-Jer Huang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)