Loading Events

« All Events

Verification Day 2020

October 8

verification day vc formal.jpg.imgw .365.219

A Special Interest Group Virtual Event
October 8, 2020

Register Now

Why Attend?

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.

Who Should Attend?

Formal Verification Users

Use formal verification methods to find and fix bugs early.

Static Verification Users

Analyze designs for correct by construction, clock and reset domain crossings.

Low Power Technology Users

Use verification and analysis of power managed designs to address power challenges.