Gain-based technology mapping for minimum runtime leakage under input vector uncertaintyAshish Kumar SinghMurari Maniet al.2006DAC 2006