ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chih-Jen Hsu, Chi-An Wu, Wei-Hsun Lin, Kei-Yong Khoo. ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite. In Diana Marculescu, Frank Liu, editors, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015. pages 916-920, ACM, 2015. [doi]

This author has not been identified. Look up 'Chih-Jen Hsu' in GoogleThis author has not been identified. Look up 'Chi-An Wu' in GoogleThis author has not been identified. Look up 'Wei-Hsun Lin' in GoogleThis author has not been identified. Look up 'Kei-Yong Khoo' in Google

runs on WebDSL