chips infrastructure
The Circuit Paid for Every Bit It Erased
Renesis converts ordinary netlists into verified energy-recovery circuits and rejects rewrites that worsen either reported energy table.
Summary
Renesis converts ordinary netlists into verified energy-recovery circuits and rejects rewrites that worsen either reported energy table.
The open-source synthesis tool tracks switching, erasure and observability while mapping a logically reversible result to one of eight adiabatic circuit families. Every transformation is equivalence-checked and must improve at least one cost table without worsening the other. Fifteen of nineteen held-out circuits improved, with a best-arm median energy of 0.91 times the default. The accounting is circuit-level and technology-specific, not a claim that logical reversibility alone removes thermodynamic cost.
Why it matters
Renesis converts ordinary netlists into verified energy-recovery circuits and rejects rewrites that worsen either reported energy table.
Limits and context
- The accounting is circuit-level and technology-specific, not a claim that logical reversibility alone removes thermodynamic cost.
Key claims
Renesis converts ordinary netlists into verified energy-recovery circuits and rejects rewrites that worsen either reported energy table.
Qualification: The accounting is circuit-level and technology-specific, not a claim that logical reversibility alone removes thermodynamic cost.
Evidence: source-2026-08-19-016
Sources
- arXiv preprint 2608.17139arXiv · primary research
Corrections
No corrections have been recorded for this story.