David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan. A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 68-73, IEEE, 2014. [doi]
@inproceedings{SheridanLKV14,
title = {A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions},
author = {David Sheridan and Lingyi Liu and Hyungsul Kim and Shobha Vasudevan},
year = {2014},
doi = {10.1109/VLSID.2014.19},
url = {http://dx.doi.org/10.1109/VLSID.2014.19},
researchr = {https://researchr.org/publication/SheridanLKV14},
cites = {0},
citedby = {0},
pages = {68-73},
booktitle = {2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014},
publisher = {IEEE},
}