Breaking New Ground: Leveraging Generative AI in Formal Verification

Join us for a journey into the future of technology, where innovation and practicality converge to create unprecedented opportunities in formal verification. Our distinguished guest, Paula Mathias, a principal product engineer at Cadence and a trailblazer in integrating generative AI models with formal verification, shares her invaluable insights and experiences. Paula introduces us to the fundamentals of formal verification, its critical role in the tech industry, and how generative AI is set to revolutionize this field.
Connect with Cadence:
Website: www.cadence.com
Free Trials: www.cadence.co...
KZbin: / @cadencedesignsystems
Facebook: / cadencedesign
LinkedIn: / cadence-design-systems
Twitter: / cadence
About Cadence:
Cadence is a pivotal leader in electronic systems design, building upon more than 30 years of computational software expertise. The company applies its underlying Intelligent System Design™ strategy to deliver software, hardware and IP that turn design concepts into reality. Cadence® customers are the world’s most innovative companies, delivering extraordinary products from chips to boards to complete systems for the most dynamic market applications, including hyperscale computing, 5G communications, automotive, mobile, aerospace, consumer, industrial and healthcare. For nine years in a row, Fortune magazine has named Cadence one of the 100 Best Companies to Work For. Learn more at www.cadence.com.