Heon-Mo Koo, Prabhat Mishra. Specification-based compaction of directed tests for functional validation of pipelined processors. In Catherine H. Gebotys, Grant Martin, editors, Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008. pages 137-142, ACM, 2008. [doi]
@inproceedings{KooM08,
title = {Specification-based compaction of directed tests for functional validation of pipelined processors},
author = {Heon-Mo Koo and Prabhat Mishra},
year = {2008},
doi = {10.1145/1450135.1450167},
url = {http://doi.acm.org/10.1145/1450135.1450167},
tags = {rule-based, testing},
researchr = {https://researchr.org/publication/KooM08},
cites = {0},
citedby = {0},
pages = {137-142},
booktitle = {Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008},
editor = {Catherine H. Gebotys and Grant Martin},
publisher = {ACM},
isbn = {978-1-60558-470-6},
}