Qi Wang Sumit Roy RTL Power Optimization with Gate-Level Accuracy. 39-45 2003 conf/iccad/2003 ICCAD http://doi.acm.org/10.1145/996070.1009866 db/conf/iccad/iccad2003.html#WangR03