D&R Industry Articles (April 2023)

Featured Article

A formal-based approach for efficient RISC-V processor verification

In this article, we go through a formal-based, easy-to-deploy RISC-V processor verification application. We show how, together with a RISC-V ISA golden model and RISC-V compliance automatically generated checks, we can efficiently target bugs that would be out of reach for simulation.

Featured Article

Applications And Operations of Video Analytics

Discover video analytics solutions for automotive, retail, sports, media & more with Softnautics. Explore the applications and opportunities of video analytics.