Webinar: Using Formal Datapath Validation to Verify AI Processor Computations hosted by Synopsys

Webinar: Using Formal Datapath Validation to Verify AI Processor Computations hosted by Synopsys
by Admin on 12-14-2022 at 1:46 pm

Summary

For over a decade, CPU and GPU design companies have been using Synopsys VC Formal Datapath Validation (DPV) app with its HECTOR™ technology to verify their data processing elements because traditional verification methods cannot exhaustively verify the correctness of mathematical computations in these designs.

Read More

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

Writing C/C++ Models for Efficient Datapath Validation Using VC Formal DPV
by Admin on 05-02-2022 at 1:43 pm

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

Read More