Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL | IEEE Conference Publication | IEEE Xplore