RENESIS: Energy-Aware Synthesis of Adiabatic Logic from Irreversible Netlists

Mitchell A. Thornton

We describe Renesis, an automated synthesis tool that accepts an ordinary irreversible netlist and produces a verified, technology-mapped energy-recovery (adiabatic) circuit, using…