Gate-level synthesis for low-power using new transformations | IEEE Conference Publication | IEEE Xplore