Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
DAC, 2007.
@inproceedings{DAC-2007-YangHH,
author = "Fu-Ching Yang and Wen-Kai Huang and Ing-Jer Huang",
booktitle = "{Proceedings of the 44th Design Automation Conference}",
doi = "10.1145/1278480.1278701",
pages = "896--901",
publisher = "{IEEE}",
title = "{Automatic Verification of External Interrupt Behaviors for Microprocessor Design}",
year = 2007,
}