Automatic design of low-power encoders using reversible circuit synthesis | IEEE Conference Publication | IEEE Xplore