most citedE-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis

1 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers

Chen Chen, Daniela Kaufmann, Chenhui Deng +3

We present ReVEAL, a graph-learning-based method for reverse engineering of multiplier architectures to improve algebraic circuit verification techniques. Our framework leverages s…