Skip to content
Loading Events

« All Events

  • This event has passed.

Writing C/C++ Models for Efficient Datapath Validation Using VC Formal DPV

May 18 @ 10:00 am - 11:00 am PDT

Synopsys, May 18, 2022

Wednesday, May 18, 2022 | 10:00 – 11:00 a.m. Pacific

AI, Graphics, CPU, and many modern designs have arithmetic intensive blocks that are hard to verify with traditional techniques. Synopsys VC Formal DPV (Datapath Validation) has been the industry’s golden standard to get closure on datapath verification.  

In this Synopsys webinar, we will discuss why you need a specialized formal verification tool to verify datapath. We will also present the do’s and don’ts of writing C/C++ models for the arithmetic blocks so that these C/C++ models are ready for formal equivalence checking with their RTL design implementation.

Following these best practices will help you get started with DPV successfully, reduce debug and run time, and maximize your verification efficiency. You will walk away with real knowledge on how best to write your C/C++ models for efficient datapath validation.

Speaker

Listed below is the industry leader scheduled to speak.

Neelabja Dutta

Sr. Manager, Applications Engineering
Synopsys

Neelabja Dutta is a Sr. Manager of Applications Engineering in the Silicon Realization Group at Synopsys with 15+ years of EDA experience. He supports VC Formal Datapath Verification along with other VC Formal Apps and is based out of Mountain View, CA.

Details

Date:
May 18
Time:
10:00 am - 11:00 am PDT
Event Categories:
,
Event Tags:
, ,
Website:
Event Website

Organizer

Synopsys
View Organizer Website

Leave a Reply

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

%d bloggers like this: