ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite | IEEE Conference Publication | IEEE Xplore