Lingyi Liu, Shobha Vasudevan
Efficient validation input generation in RTL by hybridized source code analysis
DATE, 2011.
@inproceedings{DATE-2011-LiuV,
author = "Lingyi Liu and Shobha Vasudevan",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "1596--1601",
publisher = "{IEEE}",
title = "{Efficient validation input generation in RTL by hybridized source code analysis}",
year = 2011,
}