H-H oudini : Scalable Invariant Learning
Sushant Dinesh, Yongye Zhu, Christopher W. Fletcher · 2025
Formal verification is a critical task in hardware design today. Yet, while there has been significant progress in improving technique automation and efficiency, scaling to large hardware designs remains a significant challenge.