Post-synthesis leakage power minimization | IEEE Conference Publication | IEEE Xplore