Verifying external interrupts of embedded microprocessor in SoC with on-chip bus | IEEE Conference Publication | IEEE Xplore