ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
By: Chen Chen , Daniela Kaufmann , Chenhui Deng and more
Potential Business Impact:
Finds hidden computer chip designs faster.
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.
Similar Papers
REVEAL: Reasoning-enhanced Forensic Evidence Analysis for Explainable AI-generated Image Detection
CV and Pattern Recognition
Finds fake pictures by showing how it knows.
GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis
Machine Learning (CS)
Makes computer chips get checked much faster.
REVEALER: Reinforcement-Guided Visual Reasoning for Element-Level Text-Image Alignment Evaluation
CV and Pattern Recognition
Checks if AI pictures match words perfectly.