NanoSemi setzt bei der Verifikation von SystemC-Designs für 5G-ASICs auf Verifikations-Tools von OneSpin
OneSpin 360 DV-Verify füllt die bei der High-Level Synthese-Verifikation bestehende Lücke für datengetriebene Designs in 5G-, Wi-Fi- und anderen Anwendungen
(IINews) - MÜNCHEN –– 26. Juni 2019 –– OneSpin® Solutions, ein Anbieter zertifizierter IC-Integritäts-Verifikationslösungen zur Herstellung integrierter Schaltungen, die funktional korrekt, safe, secure und vertrauenswürdig sind, gab heute bekannt, dass NanoSemi, Inc. die formalen Verifikationslösungen des Unternehmens einsetzt, um sein auf Machine Learning basierendes Intellectual Property (IP) für 5G- und Wi-Fi-Anwendungen zu verifizieren.
High-Level-Synthesetools kommen zunehmend für datengetriebene Designs in Automotive-, KI-, Machine-Learning- und 5G-Anwendungen zum Einsatz. Allerdings ist die Verifikation auf der C++-Ebene nicht nur äußerst schwierig und zeitraubend, sondern erfordert auch eine komplexe Verifikationsumgebung und liefert nicht vorhersagbare Ergebnisse. Mit OneSpin 360 DV-Verify dagegen steht eine einzigartige, automatisierte und gründliche Lösung für die Verifikation von SystemC-Designs zur Verfügung.
NanoSemi nutzt die besondere Technologie von OneSpin, um die vollständige Verifikation seiner Designs zu gewährleisten. Das Unternehmen entschied sich für OneSpin 360 DV-Verify und die SystemC/C++ Extension, weil diese Unterstützung für FPGA- (Field-Programmable Gate Array) und SoC-Flows (System on Chip) bieten und für eine eingehende Verifikation sorgen, ohne das Debugging zu verkomplizieren.
„Mit OneSpin 360 DV-Verify waren wir in der Lage, Probleme in unseren missionskritischen SystemC/C++-Projekten aufzudecken“, bestätigt Parag Sheth, Vice President of Product Development bei NanoSemi.
Das SystemC/C++-Konzept von OneSpin
OneSpin 360 DV-Verify bietet eine automatisierte und umfassende Verifikation von SystemC-Code, um die High-Level-Synthese von Designs für Automotive-, KI-, (künstliche Intelligenz), Machine-Learning- und 5G-Anwendungen zu unterstützen.
„Während ein Design in einer Hochsprache viele Vorteile bietet, ist es auch wichtig, die Verifikation nicht zu beeinträchtigen“, erklärt Raik Brinkmann, President und CEO von OneSpin Solutions. „Die Lösungen von OneSpin stellen den für die SystemC/C++-Verifikation zuständigen Teams die umfangreichen Verifikationsfähigkeiten zur Verfügung, die es auch für SystemVerilog- und VHDL-RTL-Designs gibt. Die Ergebnisse des ersten Projekts von NanoSemi belegen ganz klar den Nutzen dieses Konzepts.“
Themen in diesem Fachartikel:
Unternehmensinformation / Kurzprofil:
OneSpin Solutions ist ein führender Anbieter zertifizierter IC-Integritätsverifikations-Lösungen zur Herstellung korrekter, funktional sicherer, geschützter und vertrauenswürdiger integrierter Schaltungen. Grundlage dieser Lösungen, die die Integrität von SoCs, ASICs und FPGAs sicherstellen, ist die verbreitet eingesetzte, formale Verifikations-Technologie von OneSpin. OneSpin mit Sitz in München arbeitet mit weltweiten Spitzenreitern im Bereich der Automobil- und Industrie-Anwendungen, der Wehrtechnik, der Avionik, der künstlichen Intelligenz und des Machine Learnings, der Konsumelektronik und der Kommunikationstechnik zusammen. Die fortschrittlichen Lösungen des Unternehmens eignen sich hervorragend für die Entwicklung heterogener Rechnerplattformen, die Anwendung programmierbarer Logik sowie das Design und die Integration von Prozessorkernen wie etwa RISC-V. Das benutzerorientierte Engagement von OneSpin bildet die Grundlage für das Wachstum und den Erfolg des Unternehmens, ganz getreu dem Firmenmotto „OneSpin: Assuring IC Integrity“. Weitere Informationen finden Sie auf www.OneSpin.com.
Kontakt:
OneSpin Solutions GmbH
Sven Beyer
Nymphenburger Straße 20a
80335 Mümchen
Telefon: +49 151 58814746
Email: info(at)onespin.com
www.onespin.com
Pressekontakt:
PRismaPR
Bettina Lerchenmüller / Gabriele Amelunxen
Bahnhofstr. 7
85604 Zorneding
Telefon: +49-8106-24 72 33
Email: info(at)prismapr.com
www.prismapr.com
Datum: 26.06.2019 - 09:48 Uhr
Sprache: Deutsch
News-ID 1732117
Anzahl Zeichen: 0
Kontakt-Informationen:
Ansprechpartner: Gabi Amelunxen
Stadt:
85604 Zorneding
Telefon: 08106247233
Kategorie:
Internet
Anmerkungen:
Dieser Fachartikel wurde bisher 166 mal aufgerufen.
Der Fachartikel mit dem Titel:
"NanoSemi setzt bei der Verifikation von SystemC-Designs für 5G-ASICs auf Verifikations-Tools von OneSpin
"
steht unter der journalistisch-redaktionellen Verantwortung von
PRIsmaPR (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).