App gewährleistet Sicherheit von RISC-V-Prozessorkernen

OneSpin Solutions stellt die formale RISC-V Verification App vor. Es handelt sich dabei um die erste App im Rahmen der OneSpin RISC-V Integrity Verification Solution für sicherheitskritische Anwendungen. Sie trägt den Verifikationsherausforderungen von RISC-V-Kernen Rechnung, indem sie Implementierungsvarianten wie etwa Mikroarchitektur- und ISA-Optionen erfasst und verifiziert. Sie identifiziert nicht-spezifizierte Instruktionen und CSRs (Control and Status Registers), erfasst und verifiziert die von RISC-V erlaubten kundenspezifischen Erweiterungen und verifiziert formal die ISA-Konformität des Kerns – erfasst durch mehrere SystemVerilog Assertions (SVA). Die App deckt sämtliche konformitätsrelevanten Bugs auf, nach deren Behebung sie die hundertprozentige Konformität nachweist. Das Einrichten dauert nur eine Woche und die Ausführung für einen kompletten Kern ist in nur zwei Stunden erledigt.