Reversible computing and truly adiabatic circuits: the next great challenge for digital engineering | IEEE Conference Publication | IEEE Xplore