TY  - RPRT
TI  - ROVER: RTL Optimization via Verified E-Graph Rewriting
AU  - Samuel Coward
AU  - Theo Drane
AU  - George A. Constantinides
PY  - 2024
UR  - https://arxiv.org/abs/2406.12421
ID  - 2406.12421
ER  -