Thursday, 21 May 2026
DYNANIC at Verification Academy Live
Where verification methodology meets real-world practice
Verification Academy Live Brno brings together engineers and researchers from industry and academia to examine advances in functional verification. The program covers the Questa One toolchain,
AI-assisted verification workflows, and stimulus-free approaches that combine static and formal analysis to uncover issues earlier and more efficiently.
DYNANIC is co-organizing this event and contributing three sessions to the program including a technical presentation, a research-grounded overview, and a panel discussion.
Three contributions from the DYNANIC team
Marcela Zachariasova and Lukas Kekely represent DYNANIC across the full program. From technical deep-dives to industry panel discussion.
DynaNIC productivity with Questa One
Presentation
Current state of AI adoption in verification
Presentation
The role of AI in verification
Panel discussion
Secure your place at Verification Academy Live
Registration is required to attend. Attendance is free of charge. Places are limited. Register via the Verification Academy event page where you can also see full event agenda.