ICCAD-2012 CAD contest in fuzzy pattern matching for physical verification and benchmark suite | IEEE Conference Publication | IEEE Xplore