Synopsys VC Formal DPV Virtual Workshop Series
February 8 @ 9:00 am - 1:00 pm PST
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.