ÁùºÏ²ÊÖ±²¥¿ª½±

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.