Mobile-Menu

Verifikationstool für RISC-V-Prozessoren

Redakteur: Sebastian Gerstl

Die RISC-V Verification App von OneSpin ist die erste für verfügbare Verifikationslösung für IP-Implementierungen der RISC-V-ISA für sicherheitskritische Anwendungen.

Anbieter zum Thema

CADFEM Germany GmbH
Langer EMV-Technik GmbH
Neutrik Vertriebs GmbH
Mit der RISC-V Verification App erhält die RISC-V-Community die erste verfügbare Lösung zur umfassenden Verifikation von RISC-V-Prozessorkern-Implementierungen für safety- und security-kritische Anwendungen.
Mit der RISC-V Verification App erhält die RISC-V-Community die erste verfügbare Lösung zur umfassenden Verifikation von RISC-V-Prozessorkern-Implementierungen für safety- und security-kritische Anwendungen.
(Bild: Onespin Solutions / RISC-V Foundation)

Onespin Solutions hat die Verfügbarkeit seiner formalen RISC-V Verification App angekündigt. Es handelt sich dabei um die erste Testlösung für für safety- und security-kritische Anwendungen im Rahmen der OneSpin RISC-V Integrity Verification Solution.

Die RISC-V-Befehlssatzarchitektur bietet zahlreiche Konfigurations-Optionen und ermöglicht so eine breite Palette an maßgeschneiderte, individualisierten Mikroarchitekturen. Ebenso lässt sie sich um anforderungsspezifische Ergänzungen erweitern. Die hohe Individualität macht eine gründliche Verifikation der IC-Integrität schwierig. Die RISC-V Verification App von Onespin bietet nun RISC-V-Anwendern erstmals eine Möglichkeit, gründlich zu verifizieren, dass bei der Entwicklung und Integration dieser Cores keine Bugs unbemerkt bleiben und dass die uneingeschränkte Konformität zu Instruction Set Architecture (ISA) sichergestellt ist. Core-Anbieter können hierdurch mit älteren, etablierten Befehlssatz-Architekturen konkurrieren und ihren Designs einen Mehrwert verleihen, ohne Abstriche an der Konformität zu machen.

Die von der App gebotene automatisierte Lösung benötigt laut Angabe von Onespin nur wenige Tage zur Einrichtung. Die Ausführung für einen kompletten Core dauere sogar nur zwei Stunden.

Diese erste App ist Bestandteil der kürzlich angekündigten RISC-V Integrity Verification Solution von Onespin. Sie trägt den Verifikations-Herausforderungen von RISC-V-Kernen Rechnung, indem sie Implementierungs-Varianten wie etwa Mikroarchitektur- und ISA-Optionen erfasst und verifiziert.

Jetzt Newsletter abonnieren

Verpassen Sie nicht unsere besten Inhalte

Mit Klick auf „Newsletter abonnieren“ erkläre ich mich mit der Verarbeitung und Nutzung meiner Daten gemäß Einwilligungserklärung (bitte aufklappen für Details) einverstanden und akzeptiere die Nutzungsbedingungen. Weitere Informationen finde ich in unserer Datenschutzerklärung.

Aufklappen für Details zu Ihrer Einwilligung

(ID:45946048)

Weiterführende Inhalte