2 papers
cs.PL2025
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Jules Merckx, Alexandre Lopoukhine, Samuel Coward +3
With recent algorithmic improvements and easy-to-use libraries, equality saturation is being picked up for hardware design, program synthesis, theorem proving, program optimization…
cs.AR2024
ROVER: RTL Optimization via Verified E-Graph Rewriting
Samuel Coward, Theo Drane, George A. Constantinides
Manual RTL design and optimization remains prevalent across the semiconductor industry because commercial logic and high-level synthesis tools are unable to match human designs. Ou…