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

In der Maschinensteuerung, in der Straßenverkehrssteuerung und Robotik ist die Nachfrage nach vielseitigen analogen Schnittstellen nahezu grenzenlos. Für dieses Einsatzgebiet wurde der neue lüfterlose Embedded PC Tank-620 von ICP Deutschland konzipiert. ‣ weiterlesen

Anzeige

Als Basis für das KI Embedded-System setzt Syslogic auf ein Jetson-TX2-Modul von Nvidia. Herzstück des Jetson TX2 ist das ARM-SoC Tegra X2 namens Parker. Es vereint zwei Rechenkerne mit der von Nvidia selbst entwickelten Denver-2-Mikroarchitektur mit vier Cortex-A57-Kernen und einer Pascal-GPU. Letztere verfügt über 256 Shader-Cores. Damit bietet das KI Embedded-System Künstliche Intelligenz in Echtzeit. ‣ weiterlesen

Anzeige

Conec erweitert sein Sortiment für den geräteseitigen Anschluss um M12x1 zweiteilige Leiterplattenflansche mit auf dem Isokörper integriertem O-Ring. Durch den O-Ring sind die Flanschsteckverbinder auch im ungesteckten Zustand abgedichtet gegen Feuchtigkeit von außen. ‣ weiterlesen

Anzeige

IoTize, Entwickler und Hersteller von Plug&Play-fähigen drahtlosen Netzwerklösungen für Mikrocontroller-basierte Embedded-Systeme, bietet seine TapNLink-Produktlinie für Bluetooth und Nahfeldkommunikation seit April weltweit über den Distributor Digi-Key Electronics an. ‣ weiterlesen

Anzeige

Hy-Line Computer Components präsentiert das ARM-Board für leichte Steuerungsanwendungen und HMI-Terminals: RSC-AR6MXCS von Avalue. Das kompakte, nur 120x78mm große, industrielle Board im RISC-Formfaktor hält dem Dauerbetrieb 24/7 stand. Das Board ist ausgestattet mit NXP i. ‣ weiterlesen

Anzeige

AMD hat auf dem Taiwan Embedded Forum, das im April stattfand, die Erweiterung seiner Ryzen Embedded Produktfamilie um den neuen AMD Ryzen Embedded R1000 SoC bekanntgegeben. ‣ weiterlesen

Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige