Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan. Towards coverage closure: Using GoldMine assertions for generating design validation stimulus. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 173-178, IEEE, 2011. [doi]
@inproceedings{LiuSTV11, title = {Towards coverage closure: Using GoldMine assertions for generating design validation stimulus}, author = {Lingyi Liu and David Sheridan and William Tuohy and Shobha Vasudevan}, year = {2011}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5763038}, researchr = {https://researchr.org/publication/LiuSTV11}, cites = {0}, citedby = {0}, pages = {173-178}, booktitle = {Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011}, publisher = {IEEE}, isbn = {978-1-61284-208-0}, }