Jen-Chieh Ou, Daniel G. Saab, Qiang Qiang, Jacob A. Abraham. Reducing verification overhead with RTL slicing. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 399-404, ACM, 2007. [doi]
@inproceedings{OuSQA07,
title = {Reducing verification overhead with RTL slicing},
author = {Jen-Chieh Ou and Daniel G. Saab and Qiang Qiang and Jacob A. Abraham},
year = {2007},
doi = {10.1145/1228784.1228879},
url = {http://doi.acm.org/10.1145/1228784.1228879},
tags = {slicing},
researchr = {https://researchr.org/publication/OuSQA07},
cites = {0},
citedby = {0},
pages = {399-404},
booktitle = {Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007},
editor = {Hai Zhou and Enrico Macii and Zhiyuan Yan and Yehia Massoud},
publisher = {ACM},
isbn = {978-1-59593-605-9},
}