- This event has passed.
VC Formal Special Interest Group
October 3 @ 9:00 am - 5:00 pm PDT
Register for the Synopsys VC Formal Special Interest Group (SIG) event today. This event provides an opportunity for users, managers, and enthusiasts to stay connected with the latest formal verification innovations, techniques and methodologies.
Industry leaders such as Amazon, Black Sesame, Microsoft, NVIDIA, Samsung, and Untether AI will share their experiences with the latest formal verification technologies. Topics that will be covered include strategies for achieving formal convergence, exploring formal methodologies used for RISC-V verification, and the integration of VC Formal with generative AI functionalities – which offer the potential to automate the creation of formal verification testbenches.
Keynote Session
The Impact of LLMs on Formal Verification
Explore how LLMs can transform formal verification, reducing manual effort and improving results. We’ll discuss current benchmarks and future goals for deploying LLMs to enhance formal verification processes.
Presented by Syed Suhaib, NVIDIA