ICCAD-2015 CAD contest in large-scale equivalence checking and function correction and benchmark suite | IEEE Conference Publication | IEEE Xplore