Skip to content
Loading Events

« All Events

  • This event has passed.

Synopsys VC Formal DPV Virtual Workshop Series

February 8, 2023 @ 9:00 am - 1:00 pm PST

Synopsys, February 8, 2023

Day 1 (February 1, 2023) of this workshop series will cover practical knowledge of the best datapath verification strategies and provide hands-on experience with the industry’s best-in-class datapath validation app – Synopsys VC Formal DPV. This workshop includes a featured session presented by Theo Drane, Datapath Architect at Intel, who will share his experience on how formal verification adds value in correctness, understanding and performance of designs.

Day 2 (February 8th) will build upon attendees basic knowledge of VC Formal DPV and teach more advanced DPV methods. Emiliano Morini, Formal Verification Architect at Intel, will join to discuss how VC Formal DPV is being used at Intel to ensure there are no bugs in the datapath blocks.


February 8, 2023
9:00 am - 1:00 pm PST
Event Categories:
Event Tags:
, ,
Event Website


View Organizer Website

Leave a Reply

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