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]
No references recorded for this publication.
No citations of this publication recorded.