草榴社区

For over a decade, CPU and GPU design companies have been using 草榴社区 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 草榴社区 ARC? NPX Neural Processing Unit (NPU) IP family of embedded AI processors and use of 草榴社区 VC Formal DPV to verify its datapath functions. The 草榴社区 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 草榴社区 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.