ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite.

Chih-Jen Hsu, Chi-An Wu, Wei-Hsun Lin, Kei-Yong Khoo

Browse the full ICCAD paper archive.