TY  - RPRT
TI  - ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
AU  - Chen Chen
AU  - Daniela Kaufmann
AU  - Chenhui Deng
AU  - Zhan Song
AU  - Hongce Zhang
AU  - Cunxi Yu
PY  - 2025
UR  - https://arxiv.org/abs/2512.22260
ID  - 2512.22260
ER  -