Modeling Interrupts for Software-Based System-on-Chip Verification | IEEE Journals & Magazine | IEEE Xplore