Onespin Solutions erweitert seine formale 360 Module Verifier Verifikationslösung um die Unterstützung für Standardsprachen-Zusicherungen

SystemVerilog Assertions (SVA) und Open Verification Library (OVL) Zusicherungen eröffnen weiteren Zugang zu prämiertem 360 MV

Das auf formale Verifikationslösungen spezialisierte EDA-Unternehmen Onespin Solutions GmbH kündigte heute an, dass seine 360 Module Verifier Lösung jetzt auch Standardsprachen-Zusicherungen (Assertions) unterstützt. Diese neue Fähigkeit von 360 MV eröffnet Firmen, die in zusicherungs-basierte Verifikationsverfahren (Assertion Based Verifikation (ABV) investiert haben, einen weiteren Zugang zur vollständigen und lückenlosen funktionalen Verifikation. Kunden können jetzt die prämierte 360 MV Lösung von OneSpin wirksam mit ihren ABV-Verifikationsansätzen verbinden. Mit Hilfe der Erweiterung von 360 MV lassen sich vorhandene und neue SVA- sowie OVL-Zusicherungen nutzen und erschöpfend beweisen. Die neue Standardsprachenunterstützung ist in der kürzlich freigegebenen Produktversion 4.3 von 360 MV ohne Aufpreis enthalten.

OneSpin’s 360 MV ist die einzige funktionale Verifikationslösung, die eine zuverlässige funktionale Freigabe gewährleistet. Zum Zeitpunkt der funktionalen Freigabe ist sichergestellt, dass die verifizierten komplexen digitalen Module und Intellectual Property (IP) -Blöcke keine funktionalen Fehler mehr enthalten.

Die neue SVA- und OVL-Unterstützung schafft durch die Verwendung von Zusicherungen, die in formalen und simulationsbasierten Verifikationen erstellt wurden, einen einfachen und direkten Zugang zu 360 MV. Bestehende sowie neue Zusicherungen und RTL-Code können in 360 MV bewiesen und in der Diagnoseumgebung von 360 MV oder mittels Diagnosewerkzeugen von Novas untersucht und korrigiert werden. 360 MV unterstützt einen umfassenden Satz von SystemVerilog-Zusicherungen (SVA), einschließlich weiterführender Konstrukte wie z.B. lokaler Variablen, und deckt auch den vollen OVL 2.0 Standardsprachumfang ab. Diese Verbindung zu bestehenden ABV-Ansätzen reduziert den erforderlichen Aufwand, um hohe und höchste Modul- und IP-Qualität zu erreichen.

Peter Feist, OneSpin’s Präsident und CEO, erläutert: „Mit dem neuen Feature entsprechen wir einem vielfachen Kundenwunsch. Firmen haben uns mitgeteilt, dass sie für unseren 360 Module Verifier einen Zugang für Zusicherungen benötigen, die unter Verwendung von ABV-Methoden entwickelt wurden bzw. werden. Die neue SVA- und OVL-Unterstützung erfüllt diese Anforderung und ermöglicht unseren Kunden die stufenweise Anwendung von formaler Verifikation bis hin zur effizienten lückenlosen Verifikation, um signifikant schnellere Markteintrittszeiten und reduzierte Respin-Kosten zu erreichen.“

Die EDA-Firma OneSpin Solutions bietet prämierte, innovative formale Verifikationslösungen an, die die funktionale Verifikation vereinfachen und beschleunigen und die bestmögliche funktionale Qualität für ASICs und FPGAs sicherstellen. Etablierte Chiplieferanten der Telekommunikations-, Automobil-, Computer- und Embedded-Systems-Branche verlassen sich auf Verifikationstechnologie von OneSpin.

http://www.onespin-solutions.com