Automatic verification of external interrupt behaviors for microprocessor design. (2007)

by F-C Yang, W-K Huang, I-J Huang
Venue:In Proceedings of the 44rd Design Automation Conference (DAC),