Skip to content
Loading Events

« All Events

VC Formal Virtual Workshop – North America & Europe

June 20 @ 8:30 am - 11:30 am PDT

Synopsys, June 20, 2024

Location: Virtual workshop with hands-on labs. This workshop is best suited for attendees based in North America and Western Europe.

For attendees based in Eastern Europe or Asia, please register for this workshop being held on June 21st instead.

Registration will close on June 14th. Space is limited!

Do you want to harness the force of formal verification to ensure your mission-critical designs are ready for takeoff? Then join us for this virtual workshop!

In this 3-hour workshop, attendees will experience:

  • Running simple formal checks or exploring functional behavior to find bugs early – no testbench, no SVA, and no formal knowledge required
  • Engage in hands-on labs to find dead code, FSM deadlock, initialization issues, X-propagation, protocol violations, explore design behavior and find bugs early
  • See a demo on how Generative AI can assist you in becoming even more productive with formal verification and RTL development

This workshop will be presented by Synopsys formal experts. Attendees will gain hands-on experience in live labs and walk away with the confidence to use these functionalities in current and upcoming projects.

Workshop Agenda

*Subject to change

30 min

Welcome/introduction + review designer tasks, challenges and how formal verification can help

30 min

Deadcode analysis, FSM livelock and deadlock checks using automatic formal checks

30 min

Instructor-led hands-on lab #1

15 min


15 min

X-propagation checking

15 min

Verifying standard protocol interfaces

30 min

Formal design exploration and instructor-led hands-on lab #2

10 min

Generative AI demos

5 min

Wrap-up + Q&A


June 20
8:30 am - 11:30 am PDT
Event Categories:
Event Tags:
Event Website


View Organizer Website

Leave a Reply

Your email address will not be published. Required fields are marked *