Logic transformation for low power synthesis | IEEE Conference Publication | IEEE Xplore