mitch-thornton/renesis-low-energy-circuit-synthesis: Renesis v92.3

Renesis is an automated synthesis tool that accepts an ordinary irreversible netlist and produces a verified, technology-mapped energy-recovery (adiabatic) circuit, optimizing for energy rather than area or delay. This is the first public release. It contains the tool, the benchmark netlists, the validation procedure, and the run records behind the results reported in the accompanying paper. See README.md and RENESIS-MANUAL.md to get started, and repo_validate.sh to check a clone.