OneSpin hat als Anbieter zertifizierter IC-Integritäts-Verifikationslösungen eine RISC-V Integrity Verification Solution entwickelt. Die Lösung ermöglicht die Entwicklung und das Assessment von RISC-V-Cores durch die RISC-V Community auf der Grundlage eines in SystemVerilog (SVA) implementierten formalen Models des RISC-V ISA Befehlssatzes.
Die als eine Serie formaler Applikationen (Apps) bereitgestellte und in ein Verifikations-Framework eingebundene Lösung verifiziert die Konformität zum offenen RISC-V ISA Standard, was sowohl für die Anbieter von IP-Cores als auch für deren Kunden von Bedeutung ist.
Im Interesse der Vertrauenswürdigkeit und Sicherheit wird außerdem verifiziert, dass die Cores weder Hardware-Trojaner oder andere ungewollte Funktionalität enthalten.
OneSpin tritt RISC-V-Foundation bei
BRANCHEN-NEWS EMBEDDED SYSTEMS
