This virtual event provides an opportunity to stay informed about the latest innovations, techniques and methodologies in static, formal and low power verification. This single-day event will share experiences and insights from users solving tough verification challenges using Synopsys solutions.
This year’s event will have a special focus on technology trends and case studies from domain experts in clock domain crossing (CDC), reset domain crossing (RDC), formal verification and low power verification. Attendees will leave with practical information to accelerate bug hunting using static and formal techniques to accelerate verification closure.
For more detailed information on each session, view the full agenda here.