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.
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.
Aufklappen für Details zu Ihrer Einwilligung
Stand vom 15.04.2021
Es ist für uns eine Selbstverständlichkeit, dass wir verantwortungsvoll mit Ihren personenbezogenen Daten umgehen. Sofern wir personenbezogene Daten von Ihnen erheben, verarbeiten wir diese unter Beachtung der geltenden Datenschutzvorschriften. Detaillierte Informationen finden Sie in unserer Datenschutzerklärung.
Einwilligung in die Verwendung von Daten zu Werbezwecken
Ich bin damit einverstanden, dass die Vogel Communications Group GmbH & Co. KG, Max-Planckstr. 7-9, 97082 Würzburg einschließlich aller mit ihr im Sinne der §§ 15 ff. AktG verbundenen Unternehmen (im weiteren: Vogel Communications Group) meine E-Mail-Adresse für die Zusendung von redaktionellen Newslettern nutzt. Auflistungen der jeweils zugehörigen Unternehmen können hier abgerufen werden.
Der Newsletterinhalt erstreckt sich dabei auf Produkte und Dienstleistungen aller zuvor genannten Unternehmen, darunter beispielsweise Fachzeitschriften und Fachbücher, Veranstaltungen und Messen sowie veranstaltungsbezogene Produkte und Dienstleistungen, Print- und Digital-Mediaangebote und Services wie weitere (redaktionelle) Newsletter, Gewinnspiele, Lead-Kampagnen, Marktforschung im Online- und Offline-Bereich, fachspezifische Webportale und E-Learning-Angebote. Wenn auch meine persönliche Telefonnummer erhoben wurde, darf diese für die Unterbreitung von Angeboten der vorgenannten Produkte und Dienstleistungen der vorgenannten Unternehmen und Marktforschung genutzt werden.
Falls ich im Internet auf Portalen der Vogel Communications Group einschließlich deren mit ihr im Sinne der §§ 15 ff. AktG verbundenen Unternehmen geschützte Inhalte abrufe, muss ich mich mit weiteren Daten für den Zugang zu diesen Inhalten registrieren. Im Gegenzug für diesen gebührenlosen Zugang zu redaktionellen Inhalten dürfen meine Daten im Sinne dieser Einwilligung für die hier genannten Zwecke verwendet werden.
Recht auf Widerruf
Mir ist bewusst, dass ich diese Einwilligung jederzeit für die Zukunft widerrufen kann. Durch meinen Widerruf wird die Rechtmäßigkeit der aufgrund meiner Einwilligung bis zum Widerruf erfolgten Verarbeitung nicht berührt. Um meinen Widerruf zu erklären, kann ich als eine Möglichkeit das unter https://support.vogel.de abrufbare Kontaktformular nutzen. Sofern ich einzelne von mir abonnierte Newsletter nicht mehr erhalten möchte, kann ich darüber hinaus auch den am Ende eines Newsletters eingebundenen Abmeldelink anklicken. Weitere Informationen zu meinem Widerrufsrecht und dessen Ausübung sowie zu den Folgen meines Widerrufs finde ich in der Datenschutzerklärung, Abschnitt Redaktionelle Newsletter.