@misc{indiciae2218df4100df,
  title = {ROVER: RTL Optimization via Verified E-Graph Rewriting},
  author = {Samuel Coward and Theo Drane and George A. Constantinides},
  year = {2024},
  url = {https://arxiv.org/abs/2406.12421},
  note = {Source identifier: 2406.12421}
}