Harnessing Agentic AI to Accelerate Verification

This presentation, led by Chuck Alpert, Fellow, Agentic AI, explores the transformative impact of Agentic AI on digital verification. It highlights the application of AI in the automation of verification tasks leading to an increase in overall engineering efficiency. Key topics include AI-driven logic simulation, conversational LLM agents, and the integration of Agentic AI across the verification process. The ultimate goal is to leverage AI to reduce verification costs, improve productivity, and close the engineering resource gap, thereby accelerating the development of integrated circuits (ICs).

Charles (Chuck) Alpert is Cadence’s AI Fellow and drives cross-functional Agentic AI solutions throughout Cadence’s software stack. Prior to this, has lead various pioneering teams in digital implementation, including Global Routing, Clock Tree Synthesis, Genus Synthesis, and Cerebrus AI. Charles has published over 100 papers and received over 100 patents in the EDA space. He is a Cadence Master inventor. He has served as Deputy-Editor-in-Chief for IEEE Transactions on Computer-Aided Design, chaired the IEEE/ACM Design Automation Conference, and earned IEEE Fellow. He received a B.S. and B.A. Degree from Stanford University and a Ph.D. in Computer Science from UCLA.