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

Chen Chen, Daniela Kaufmann, Chenhui Deng, Zhan Song, Hongce Zhang, Cunxi Yu

Browse the full TACAS paper archive.