Vinod Viswanath Shobha Vasudevan Jacob A. Abraham Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL. 77-82 2009 VLSI Design http://dx.doi.org/10.1109/VLSI.Design.2009.85 conf/vlsid/2009 db/conf/vlsid/vlsid2009.html#ViswanathVA09