Mitchell A. Thornton

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

We describe Renesis, an automated synthesis tool that accepts an ordinary irreversible netlist and produces a verified, technology-mapped energy-recovery (adiabatic) circuit, using energy rather than area or delay as the optimization criterion. Renesis models the netlist with a vector-space formulation that expresses s...