Loading Events

« All Events

  • This event has passed.

Synopsys VC Formal DPV Virtual Workshop Series Day 1

February 1, 2023 @ 9:00 AM - 1:00 PM

Synopsys Feb 1 2023

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.

REGISTER HERE

Share this post via:

Details

Date:
February 1, 2023
Time:
9:00 AM - 1:00 PM
Event Tags:
, , , ,
Website:
https://event.synopsys.com/ereg/newreg.php?eventid=730919

Organizer

Synopsys
View Organizer Website

Venue

Online