ILP Based Gate Leakage Optimization Using DKCMOS Library during RTL Synthesis | IEEE Conference Publication | IEEE Xplore