Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang. Automatic Verification of External Interrupt Behaviors for Microprocessor Design. In Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007. pages 896-901, IEEE, 2007. [doi]
Abstract is missing.