Verification of Register Transfer Level Low Power Transformations | IEEE Conference Publication | IEEE Xplore