Abstract: Software teams now uncover far more vulnerabilities than they can reasonably triage or fix. At the same time, learning-based analysis and large code models have matured. They can now move ...

Abstract: Logic synthesis tools translate Hardware Description Language (HDL) designs into hardware implementation. To test these tools, numerous test cases are usually executed on the tools, yet only ...