Verifying external interrupts of embedded microprocessor in SoC with on-chip bus