(openPR) OneSpin 360 EC-FPGA gewährleistet die Designintegrität für Machine-Learning-, KI-, Big-Data- und High-Bandwidth-Anwendungen, die nach hochgradig optimierten Implementierungen und hoher Ergebnisqualität verlangen
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, gibt heute bekannt, dass OneSpin 360 EC-FPGA jetzt die drei FPGA-Familien Stratix® 10, Arria® 10 und Cyclone® V von Intel® unterstützt.
Der Schritt zur Unterstützung von FPGAs, die in Breitband-Anwendungen eingesetzt werden, deckt den wachsenden Bedarf von Verifikations-Ingenieuren nach formalen Equivalence-Checking-Lösungen, die die funktionale Äquivalenz zwischen RTL-Beschreibung (Register Transfer Level) und finaler Netzliste gewährleisten. OneSpin 360 EC-FPGA unterstützt Chips der 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 den Place-and-Route-Prozess.
„Wir arbeiten eng mit FPGA-Anbietern wie Intel zusammen, um die innovativen Optimierungen in ihren Produkten der Spitzenklasse zu verifizieren. EC-FPGA wird damit zu einem essenziellen Bestandteil eines erfolgreichen Design- und Verifikationsprozesses“, erklärt Tobias Welp, Engineering Manager bei OneSpin. „Dass wir die schon bisher umfangreiche Liste unterstützter FPGA-Familien nun durch die Reihen Stratix 10, Arria 10 und Cyclone V erweitert haben, geht auf den Wunsch von Anwendern zurück, die OneSpin 360 EC-FPGA zur Sicherstellung der Integrität äußerst komplexer und anspruchsvoller Designs verwenden.“
OneSpin unterstützt Hochleistungs-FPGAs
Die FPGA-Familien Cyclone V, Stratix 10 und Arria 10 werden in Breitband-Anwendungen eingesetzt, deren Spanne von 5G-Kommunikation über künstliche Intelligenz sowie Machine Learning, die Beschleunigung von Rechenzentren und Hochleistungs-Computern bis hin zu Radarverarbeitung, Wehrtechnik, Automobilsektor und Medizintechnik reicht. Derartige Anwendungen erfordern den Einsatz neuester Synthesetechnik, um Fortschritte in der Architektur, wie zum Beispiel spezialisierte IP-Blöcke (Intellectual Property), zu nutzen und dabei die Anforderungen an das Timing und den Stromverbrauch zu erfüllen.
OneSpin 360 EC-FPGA stellt sicher, dass fortschrittliche Optimierungen, die zur Einhaltung immer stärkerer Stromverbrauchs-, Performance- und Flächenvorgaben benötigt werden, keine Auswirkungen auf die Funktionalität der Designs haben. Das sequenzielle Equivalence Checking im Produkt kann feststellen, ob diese Optimierungen die Funktionalität des Entwurfs beibehalten haben.
Das Tool wird im FPGA-Flow vom RTL-Entwurf bis zum Place-and-Route angewendet, um die Äquivalenz zwischen RTL-Entwurf und der Post-Synthesis-Netzliste auf der Gatter-Ebene zu prüfen. Dadurch wird sichergestellt, dass Logiksynthese und physikalischer Synthese die Integrität des Entwurfes nicht korrumpieren.
EC-FPGA detektiert neben unerwarteter Funktionalität auch ungewollte, infolge von Ablauffehlern entstandene Logik und prüft auf eine Vielzahl von Hardware-Trojanern und andere absichtlich eingefügte Schad-Logik, um das Vertrauen in das Syntheseresultat sicherzustellen.
In einer separaten, heute herausgegebenen Meldung stellt OneSpin die RISC-V Verification App vor. Es handelt sich dabei um die erste App in der OneSpin RISC-V Integrity Verification Solution für safety- und security-kritische Anwendungen.
Verfügbarkeit und Preis
Die neueste Version von OneSpin 360 EC-FPGA wird ebenso wie die RISC-V Verification App bereits ausgeliefert. Preise auf Anfrage.
OneSpin auf der DAC
360 EC-FPGA, die RISC-V Verification App 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 Montag, den 3. Juni im Topgolf Las Vegas am MGM Grand 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.
