Advanced SoC-Level Interrupt Verification Utilizing ARM GIC-700 | IEEE Conference Publication | IEEE Xplore