Generating concise assertions with complete coverage - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Chen-Hsuan Lin' in GoogleThis author has not been identified. Look up 'Lingyi Liu' in GoogleThis author has not been identified. Look up 'Shobha Vasudevan' in Google

runs on WebDSL