Models of irreversibility for binary adders | IEEE Conference Publication | IEEE Xplore