The minimum energy for a one bit computation: A proof of the Landauer limit

This paper describes a design, based on adiabatic digital circuit approach, where the difference between an irreversible and a reversible logical use of a gate gives rise to the theoretical Landauer limit for a one bit computation.