H-H <scp>oudini</scp> : Scalable Invariant Learning

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.