We gratefully acknowledge support from
the Simons Foundation and member institutions.

Samuel Coward and George Constantinides are qualified to endorse.

ROVER: RTL Optimization via Verified E-Graph Rewriting

Samuel Coward: Is registered as an author of this paper.
Can endorse for cs.AR, cs.CL, cs.DS, cs.LO, cs.PL. (why?)
George Constantinides: Is registered as an author of this paper.
Can endorse for cs.AI, cs.AR, cs.CL, cs.CV, cs.DC, cs.DS, cs.ET, cs.LG, cs.LO, cs.NE, cs.PL, cs.SE, stat.ML. (why?)

Theo Drane is not registered as an owner of this paper. (why?)