ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
No abstract available.
DOI 10.1007/978-3-032-22749-2_16
Related papers
- Understanding and bridging the gaps in current GNN performance optimizations PPoPP 2021
- KJS: a complete formal semantics of JavaScript PLDI 2015
- Scalable verification of GNN-based job schedulers OOPSLA 2022
- Combining Models and Guided Empirical Search to Optimize for Multiple Levels of the Memory Hierarchy CGO 2005
- Automated and Scalable Verification of Integer Multipliers CAV 2020
- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems TACAS 2022
- VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification TACAS 2024
- Adaptive Parallel Training for Graph Neural Networks PPoPP 2025