TY  - RPRT
TI  - Datapath Verification via Word-Level E-Graph Rewriting
AU  - Samuel Coward
AU  - Emiliano Morini
AU  - Bryan Tan
AU  - Theo Drane
AU  - George Constantinides
PY  - 2023
UR  - https://arxiv.org/abs/2308.00431
ID  - 2308.00431
ER  -