ReVEAL：基于GNN的逆向工程，用于优化乘法器的形式验证

本文介绍了一种新方法ReVEAL，它利用图神经网络（GNN）来促进优化乘法器的逆向工程和形式验证。使用GNN表明试图自动化或改进理解和验证复杂硬件设计的过程。专注于优化乘法器表明了实际应用，可能对计算系统的性能和安全性产生影响。来源ArXiv表明这是一篇研究论文，可能详细介绍了方法论、实验结果以及与现有技术的比较。

• •ReVEAL 使用 GNN 进行逆向工程和形式验证。
• •重点是优化乘法器，表明了实际应用。
• •该研究可能详细介绍了方法论、结果和比较。