Skip to content

Neelabja Dutta

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

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… Read More »Writing C/C++ Models for Efficient Datapath Validation Using VC Formal DPV