# RTL recovery

When the original RTL and documentation are gone and only a gate-level netlist or a complete truth table remains, RTLREX has a large language model choose analyses among domain-specific tools, build candidate RTL, and confirm each result with independent equivalence checking. On the 30 benchmarks of ICCAD 2022 CAD Contest Problem A it recovered equivalent high-level RTL for all of them, above WolFEx's 26, and on the 26 recovered by both it cut mean syntax cost by 20.5% relative to WolFEx.

When the original RTL and documentation are gone and only a gate-level netlist or a complete truth table remains, RTLREX has a large language model choose analyses among domain-specific tools, build candidate RTL, and confirm each result with independent equivalence checking. On the 30 benchmarks of ICCAD 2022 CAD Contest Problem A it recovered equivalent high-level RTL for all of them, above WolFEx's 26, and on the 26 recovered by both it cut mean syntax cost by 20.5% relative to WolFEx.