The program is tentative and may undergo revisions. Registration begins 30 minutes before each day's first session.
Download the PDF Program
-
-
Magnolia Grand Ballroom C Grand Ballroom D Grand Ballroom EFGH 8:30–9:00 Opening Session
(Grand Ballroom C)9:00–10:30 1 Accelerating Coverage 2 Functional Safety 3 Coverage in Memory Design 10:30–11:00 Coffee Break
(Grand Ballroom ABCD Foyer)10:30–12:00 Poster Session
(Grand Ballroom ABCD Foyer)12:00–13:00 Sponsored Lunch
From Engines to Intelligence: Managing Verification at Massive Scale
(Grand Ballroom AB)
Exhibit Hall Open 13:00–14:00 Industry Keynote: Beyond Bigger Designs: Rethinking Verification for the Era of Convergence
(Grand Ballroom CD)
14:00–14:30 Coffee Break
(Grand Ballroom EFGH/Exhibit Hall)14:30–16:30 4 Formal Automation 5 Security in Design & Verification 6 Digital Twin / Emulation Acceleration 16:30–18:00 Reception
(Grand Ballroom EFGH/Exhibit Hall) -
Magnolia Grand Ballroom C Grand Ballroom D Grand Ballroom EFGH 8:30–9:30 Panel
(Grand Ballroom CD)9:30–10:00 Coffee Break
(Grand Ballroom ABCD Foyer)10:00–12:00 7 Formal Verification Innovations 8 Automating Verification Insight 9 UVM Practices 12:00–13:00 Sponsored Lunch
Bridging Minds and Machines: How AI is Transforming the Future of Design Verification
(Grand Ballroom AB)
Exhibit Hall Open 13:00–14:00 Invited Keynote: From Pixels to Tokens: Chip Design and Verification in the Era of AI
(Grand Ballroom CD)
14:00–15:00 Poster Ninja Session
(Grand Ballroom CD)15:00–15:30 Coffee Break
(Grand Ballroom EFGH/Exhibit Hall)15:30–17:00 10 Regression Management 11 Tightening Verification Closure 12 Python Integration 17:00–18:30 Reception & Best Paper Presentation
(Grand Ballroom EFGH/Exhibit Hall) -
Ballroom E Grand Ballroom C Grand Ballroom D 9:00–10:30 Broadening the Adoption of Hardware-Assisted Verification with Next Generation Emulation Appliance
Agentic AI for RTL Signoff
Breakthrough in CDC-RDC Verification Defining a Standard for Interoperable Abstract Model (Part 1)
10:30–11:00 Coffee Break
(Grand Ballroom ABCD Foyer)11:00–12:30 Verification in the Agentic AI era - a whole new ball game!
Power Dynamics: Shaping the future of the data centric era and the role of AI
Breakthrough in CDC-RDC Verification Defining a Standard for Interoperable Abstract Model (Part 2)
12:30–13:30 Sponsored Lunch
Generative AI: Is it Real or Merely a Hallucination?
(Grand Ballroom AB)
13:30–15:00 Transforming Verification Debug: AI Innovations with Verdi
High-Level Synthesis Meets FPGA Prototyping in the Cloud
IP-XACT Demystified: An In-Depth Training on the IEEE 1685-2022 IP-XACT Standard
Please note that lunch sessions are reserved exclusively for all-access pass holders. Please be aware that seating for lunch sessions is limited and available on a first-come, first-served basis for All-Access pass holders only.
