(openPR) Mit der RISC-V Verification App erhält die RISC-V-Community die einzig verfügbare Lösung zur umfassenden Verifikation von IP-Implementierungen und zur Sicherstellung der 100-prozentigen Konformität
MÜNCHEN und SAN JOSE, CALIF. –– 23. Mai 2019 –– OneSpin® Solutions, ein Anbieter zertifizierter IC-Integritäts-Verifikationslösungen zur Herstellung integrierter Schaltungen, die funktional korrekt, safe, secure und vertrauenswürdig sind, stellt heute 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 safety- und security-kritische Anwendungen.
„RISC-V wirbelt die bestehenden IP- und Halbleiter-Ökosysteme gehörig durcheinander“, bemerkt Sven Beyer, Product Manager, Design Verification bei OneSpin, einem Mitglied der RISC-V Foundation. „Effektive Verifikations-Lösungen von Drittanbietern sind für Anbieter von RISC-V-Cores und für SoC-Integratoren gleichermaßen entscheidend, damit das Potenzial dieser Architektur umfassend ausgeschöpft werden kann. Unsere bewährte Lösung ist die einzige Alternative für eine effiziente und vollständige Verifikation und gibt der RISC-V-Community ein dringend benötigtes Werkzeug zur Sicherstellung der Integrität von ICs in die Hand.“
Die wachsende Nachfrage nach der Open-Source-Architektur RISC-V unterstreicht, wie wichtig es ist, bei Prozessorkernen ein hohes Qualitätsniveau zu gewährleisten. Schließlich bietet die komplexe Architektur nicht nur zahlreiche Konfigurations-Optionen, sondern macht auch eine breite Palette von Mikroarchitekturen möglich und gestattet das Hinzufügen kundenspezifischer Ergänzungen, was für die Verifikation schwierige Herausforderungen mit sich bringt.
Mit der App erhält die immer größer werdende RISC-V-Community die einzige 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 nur wenige Tage zur Einrichtung und die Ausführung für einen kompletten Core dauert sogar nur zwei Stunden, sodass sich die Verifikation um Monate verkürzt. Andere Verifikations-Konzepte sind dagegen unzureichend und können keine kompletten Ergebnisse liefern. Allein das Einrichten einer Simulation kann Monate dauern, gefolgt von wochenlangen Regressionstests, bei denen dennoch kritische Fehler unentdeckt bleiben können. Andere formale Methoden verwenden nur partielle Nachweise, können dadurch nicht alle verborgenen Funktionalitäten feststellen und resultieren somit in einer unvollständigen Verifikation.
Die RISC-V Verification App von OneSpin
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.
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 100-prozentige Konformität nachweist. Das Einrichten dauert nur eine Woche und die Ausführung für einen kompletten Kern ist in nur zwei Stunden erledigt.
Die RISC-V Verification App von OneSpin wurde auf verfügbaren quelloffenen RISC-V-Kernen erprobt. Unter anderem entdeckte die App im Rocket Core mehrere Bugs, die von den Entwicklern bestätigt und im Open-Source Repository beseitigt wurden. (Referenz: „Complete Formal Verification of RISC-V Processor IPs for Trojan-Free Trusted ICs” von Paul McHale (Edaptive Computing) und David Landoll, GOMACTech Conference, 28. März 2019.)
In einer weiteren heute herausgegebenen Pressemitteilung gibt OneSpin bekannt, dass sein OneSpin 360 EC-FPGA jetzt Unterstützung für drei FPGA-Familien von Intel® bietet. Es handelt sich dabei um die Familie Cyclone® V mit der Intel Quartus® Prime Standard Edition Software für die Synthese und das Place-and-Route-Verfahren sowie die Familien Stratix® 10 und Arria® 10 mit der Intel Quartus® Prime Pro Edition Software für den Synthese- und Place-and-Route-Prozess.
Verfügbarkeit und Preis
Die RISC-V Verification App wird ebenso wie die neueste Version von OneSpin 360 EC-FPGA bereits ausgeliefert. Preise auf Anfrage.
OneSpin auf der DAC
Die RISC-V Verification App, EC-FPGA und die weiteren zertifizierten IC-Integritäts-Verifikationslösungen von OneSpin werden von Montag, den 3. Juni bis Mittwoch, den 5. Juni 2019 jeweils von 10.00 bis 18.00 Uhr auf der 56. Design Automation Conference (DAC) im Las Vegas Convention Center zu sehen sein (Stand Nr. 308).
Besucher der DAC können sich auf http://www.onespin.com/dac für Demonstrationen registrieren.
Während der DAC wird OneSpin am 3. Juni im Topgolf Las Vegas am MGM Grand Monday das „Verified”, die jährliche Feier des Verifikations-Ökosystems ausrichten. Eine begrenzte Anzahl von Tickets für dieses Event gibt es bei OneSpin sowie den Mit-Gastgebern Agnisys, AMIQ EDA, Avery Design Systems, Blue Pearl Software, Breker Verification Systems, Concept Engineering, Dassault Systèmes, Imperas, Semifore und Verific Design Automation.
