Verifying external interrupts of embedded microprocessor in SoC with on-chip bus. - Fu-Ching Yang; Jing-Kun Zhong; Ing-Jer Huang (ICCAD, 2008)

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)