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.
NUREMBERG, Germany, March 13, 2023, a semiconductor industry leader in flash memory, 32-bit Microcontrollers (MCUs) and sensor technology, today announced that it will demonstrate its comprehensive solutions