Logic synthesis for better than worst-case designs | IEEE Conference Publication | IEEE Xplore