Chen-Hsuan Lin, Lingyi Liu, Shobha Vasudevan. Generating concise assertions with complete coverage. In José Luis Ayala, Alex K. Jones, Patrick H. Madden, Ayse Kivilcim Coskun, editors, Great Lakes Symposium on VLSI 2013 (part of ECRC), GLSVLSI'13, Paris, France, May 2-4, 2013. pages 185-190, ACM, 2013. [doi]
@inproceedings{LinLV13,
title = {Generating concise assertions with complete coverage},
author = {Chen-Hsuan Lin and Lingyi Liu and Shobha Vasudevan},
year = {2013},
doi = {10.1145/2483028.2483088},
url = {http://doi.acm.org/10.1145/2483028.2483088},
researchr = {https://researchr.org/publication/LinLV13},
cites = {0},
citedby = {0},
pages = {185-190},
booktitle = {Great Lakes Symposium on VLSI 2013 (part of ECRC), GLSVLSI'13, Paris, France, May 2-4, 2013},
editor = {José Luis Ayala and Alex K. Jones and Patrick H. Madden and Ayse Kivilcim Coskun},
publisher = {ACM},
isbn = {978-1-4503-2032-0},
}