Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan
Towards coverage closure: Using GoldMine assertions for generating design validation stimulus
DATE, 2011.
@inproceedings{DATE-2011-LiuSTV,
author = "Lingyi Liu and David Sheridan and William Tuohy and Shobha Vasudevan",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "173--178",
publisher = "{IEEE}",
title = "{Towards coverage closure: Using GoldMine assertions for generating design validation stimulus}",
year = 2011,
}