Processor verification is challenging, and yet critical to RISC-V adoption.
ImperasDV is the first commercially available RISC-V processor verification solution, and the achievement of the tight integration with Cadence is key to the successful use of ImperasDV by NSITEXE.
Dan Radke
USAF, 559th Software Maintenance Squadron
Virtual platforms are providing significant benefits to our software team, as they make it easier to maintain existing software and develop new applications for existing avionics systems. Key attributes of virtual platforms are realizing far greater speed of software simulation, especially for multiprocessor systems, having more standard approaches to develop models to, and being able to use open source models of processors and peripherals already available, making it easier for us to build our own efficient models of complete avionics systems.