ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917171910672384 |
|---|---|
| author | Chen, Chen Kaufmann, Daniela Deng, Chenhui Song, Zhan Zhang, Hongce Yu, Cunxi |
| author_facet | Chen, Chen Kaufmann, Daniela Deng, Chenhui Song, Zhan Zhang, Hongce Yu, Cunxi |
| contents | We present ReVEAL, a graph-learning-based method for reverse engineering of multiplier architectures to improve algebraic circuit verification techniques. Our framework leverages structural graph features and learning-driven inference to identify architecture patterns at scale, enabling robust handling of large optimized multipliers. We demonstrate applicability across diverse multiplier benchmarks and show improvements in scalability and accuracy compared to traditional rule-based approaches. The method integrates smoothly with existing verification flows and supports downstream algebraic proof strategies. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_22260 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers Chen, Chen Kaufmann, Daniela Deng, Chenhui Song, Zhan Zhang, Hongce Yu, Cunxi Logic in Computer Science Artificial Intelligence We present ReVEAL, a graph-learning-based method for reverse engineering of multiplier architectures to improve algebraic circuit verification techniques. Our framework leverages structural graph features and learning-driven inference to identify architecture patterns at scale, enabling robust handling of large optimized multipliers. We demonstrate applicability across diverse multiplier benchmarks and show improvements in scalability and accuracy compared to traditional rule-based approaches. The method integrates smoothly with existing verification flows and supports downstream algebraic proof strategies. |
| title | ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2512.22260 |