Search papers, labs, and topics across Lattice.
Renesis is an automated synthesis tool that transforms irreversible netlists into verified energy-recovery adiabatic circuits, prioritizing energy optimization over area or delay. By employing a vector-space formulation for modeling and utilizing linear-cost simulation and justification sweeps, Renesis effectively characterizes circuit behavior through data tags at their natural R茅nyi orders. The tool demonstrates significant improvements in energy efficiency across multiple circuits, achieving a median energy reduction of 0.91 times the default energy on a diverse set of benchmarks, while ensuring all transformations are equivalence-checked for optimality.
Energy optimization in circuit synthesis can be dramatically improved with Renesis, achieving up to 91% of the default energy across various benchmarks.
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 simulation and justification sweeps as forward and reverse traversals whose cost is linear in the number of circuit components. The traversals populate ledgers with data tags that characterize switching, erasure, and observability information at their natural R\'enyi orders. The output is a logically reversible circuit mapped to one of eight energy-recovery families, with the associated parameters reported. Reversibility is treated here as a circuit-level requirement rather than a thermodynamic one. When an adiabatic gate erases information the penalty is not $k_B T \ln 2$ but a full non-adiabatic $CV^2$ discharge, which is comparable to the switching energy the circuit style exists to recover. Every synthesis transformation is equivalence-checked, and it must improve one of two reported cost tables, one uncapped and one after a series-realizability bound, while worsening neither before it is accepted. Across a twenty-circuit development set, optional re-synthesis passes improve fourteen circuits. On a held-out set of twenty circuits, fifteen of nineteen are improved, with a best-arm median of $0.91$ of the default energy. A certified optimality-gap program computes the distance between the synthesized circuits and the provable floor of the tool's own search space. A device-level SPICE deck reproduces the tool's per-cycle energy figures on the reference family. The tool, the benchmark netlists, the validation procedure, and the run records behind every reported number are released as open source.
