Automatic Verification of External Interrupt Behaviors for Microprocessor Design.

Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang

Browse the full DAC paper archive.