Paper accepted to ICCAD'16