Chandan Karfa Chitta Mandal Dipankar Sarkar Verification of Register Transfer Level Low Power Transformations. 313-314 2011 ISVLSI http://dx.doi.org/10.1109/ISVLSI.2011.73 conf/isvlsi/2011 db/conf/isvlsi/isvlsi2011.html#KarfaMS11