Anzeige

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.

Empfehlungen der Redaktion

Das könnte Sie auch interessieren

Das TI-RSLK Max von Texas Instruments (TI) ist ein kostengünstiges, durch ein Unterrichts-Curriculum ergänztes Robotics Kit, das einfach aufzubauen, zu codieren und zu prüfen ist. ‣ weiterlesen

Congatec hat heute sein neues SMARC 2.0 CoM mit NXP i.MX 8M Mini-Prozessoren vorgestellt. Aufgrund der neuen 14 FinFET Mikroarchitektur bietet das Conga-SMX8-Mini eine höhere Performance bei deutlich geringerer Leistungsaufnahme. ‣ weiterlesen

Anzeige

Zuora stellt die neue Zuora Central Developer Platform vor, die für Entwickler und Partner ab sofort unter labs.zuora.com verfügbar ist.  ‣ weiterlesen

Auf Basis jahrelanger Erfahrung im Bereich Rugged Computer und Thermal Design, bringt Kontron die bisher leistungsfähigste Version seines gefragten 6U VPX Single Board Computers auf den Markt. ‣ weiterlesen

In der Praxis zeigt sich, dass Datenverlust oft auf ein defektes Speichermedium zurückzuführen ist. Eine Ursache hierfür kann eine zu hohe Betriebstemperatur sein, die speziell in lüfterlosen Mini-PC oder Panel-PC verbreitet auftritt. ‣ weiterlesen

Leiterplattensteckverbinder wie der Omnimate Power BUF/BUZ SH bieten in vielen Anwendungen zahlreiche Vorteile, etwa den schnellen Wechsel von Komponenten bei Wartungsarbeiten und den einfachen Anschluss von vielen Leitern unter beengten Platzverhältnissen. ‣ weiterlesen

Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige