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]
Abstract is missing.