Heon-Mo Koo, Prabhat Mishra
Functional test generation using property decompositions for validation of pipelined processors
DATE, 2006.
@inproceedings{DATE-2006-KooM,
author = "Heon-Mo Koo and Prabhat Mishra",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131826",
pages = "1240--1245",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{Functional test generation using property decompositions for validation of pipelined processors}",
year = 2006,
}