Skip to content
Loading Events

« All Events

  • This event has passed.

Using Formal Datapath Validation to Verify AI Processor Computations

December 20, 2022 @ 10:00 am - 11:00 am PST

Synopsys, December 20, 2022

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. Like CPUs and GPUs, AI processors are also datapath heavy with mathematical functions like addition, subtraction, matrix multiplication, and square root in its compute engines, making these designs a good fit for formal datapath validation.

This webinar will introduce the Synopsys ARC® NPX Neural Processing Unit (NPU) IP family of embedded AI processors and use of Synopsys VC Formal DPV to verify its datapath functions. The Synopsys ARC NPX6 processor supports the latest and most complex neural networks, such as CNN, RNN, and transformers, targeted for AI SoCs that are widely used in automotive, data center, high end gaming, next generation augmented reality, and surveillance. At the heart of the NPX6 neural network processor are convolution and tensor accelerators that are optimized to perform light speed computations. Correctness of these functional units are key to correct facial, audio, image processing and recognition which could have safety implications for automotive applications. We will explore Synopsys VC Formal DPV, the gold standard for datapath validation and signoff for the last 20 years, and how it is used to ensure correctness of the core algorithms of the ARC NPX6 processor’s compute engines.

Neelabja Dutta
Sr. Manager, Applications Engineering
Synopsys
Shuaiyu Jiang
Sr. ASIC Digital Design Engineer
Synopsys

Details

Date:
December 20, 2022
Time:
10:00 am - 11:00 am PST
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 *