Disponibles en open source, les cœurs RISC-V peuvent être modifiés à volonté en fonction des besoins spécifiques d’une application. Problème : cela peut sensiblement compliquer le travail de vérification de la conception, qui représente déjà communément plus de la moitié du temps et du budget de design du circuit quand ce dernier est basé sur un cœur prétesté. C’est dans ce contexte que l’Anglais Imperas Software a créé ImperasDV, une solution intégrée de vérification de cœurs RISC-V.

ImperasDV s’insère dans les flux de vérification basés sur UVM et SystemVerilog. Il comprend un modèle de référence couvrant l’ensemble du jeu d’instructions RISC-V et ses dernières révisions et extensions (manipulation de bits, cryptage, calcul vectoriel et DSP/SIMD) ; des modules de test SystemVerilog et C/C++ avec couverture de l’analyse au niveau instructions et prise en charge de l’interface RVVI ; tout un ensemble de suites et de générateurs de tests ; et un support produit avec formations incluses. ImperasDV est d’ores et déjà utilisé par certains clients d’Imperas, tels que Codasip, EM Microelectronics, Nvidia, Seagate et Silicon Labs.