Die neue, gestaffelte OneSpin 360^® MV-Produktfamilie bietet freie Wahl an Ein- und Ausstiegsmöglichkeiten entsprechend den Projektanforderungen und Erfahrungen des Kunden; neue Diagnosetechnologie reduziert Debugging-Aufwand für komplexe SystemVerilog-Assertions

Das auf umfassende formale Verifikationslösungen spezialisierte EDA-Unternehmen OneSpin Solutions^® GmbH kündigt heute eine schrittweise und abgestufte Lösung an, die formale ABV (assertion-based verification) für SoC-, ASIC- und FPGA-Designs massentauglich macht und erstmals auch ABV-Neulingen den Einstieg in diese sehr produktive Technologie erlaubt. Der neue Ansatz basiert auf fünf interoperablen Produkten der neuen integrierten OneSpin 360^® MV-Produktfamilie, die für Einsteiger, erfahrene Anwender und Experten der formalen Verifikation gleichermaßen entwickelt wurde. Die Produktfamilie unterstützt sechs aufeinander aufbauende Anwendungsstufen der formalen Verifikation, die sich den jeweiligen Verifikationsanforderungen der Unternehmen optimal anpassen und produktives Arbeiten bereits innerhalb weniger Tage ermöglichen.

Zeitgleich präsentiert OneSpin einen neuen Beweisbasierten Debugger für komplexe SystemVerilog Assertions (SVAs). Im Gegensatz zum herkömmlich notwendigen manuellen Aufwand bei anderen formalen Tools lokalisiert der Debugger automatisch die Ursache, warum eine Assertion für ein gegebenes Design fehlschlägt, und zielt damit auf ein kritisches Produktivitätsfeld beim Einsatz komplexer Assertions ab.

Die neuen Tools wird OneSpin erstmals auf der EDSFair 2009 vom 22.-23. Januar 2009 im Pacifico Yokohama Conference Center in Kanagawa, Japan, auf seinem Messestand 507 zeigen.
Danach folgt die Vorstellung auf dem OneSpin-Stand 502 anlässlich der DVCon vom 24.-25. Februar 2009 im DoubleTree Hotel in San Jose/Kalifornien.

Die umfassende 360 MV-Produktfamilie von OneSpin unterstützt drei Stufen standardmäßiger formaler ABV.
Drei zusätzliche Stufen erweiterter, hocheffizienter ABV-Methoden, die auf der systematischen Verifikation von Design-Operationen und automatischer Erkennung von Verifikationslücken basieren, werden nur von der OneSpin 360 MV Produktfamilie abgedeckt. Die 360 MV Lösung ergänzt in idealer Weise die heute übliche Simulations-basierte Verifikation auf Systemebene und erfordert bis zu fünfmal weniger Verifikationsaufwand als die gründliche Modul/Subsystem-Verifikation mit Hilfe von Testbenches.

Peter Feist, OneSpin’s Präsident und CEO, sagt:
“Bis jetzt war umfassende formale ABV kleinen Gruppen von Experten der formalen Verifikation vorbehalten. Wir haben diese hochproduktive Technologie nun massentauglich und trendfähig gemacht. Unser pragmatischer, gestaffelter Lösungsansatz ermöglicht es den Unternehmen, auf der Stufe in die formale Verifikation mit 360 MV einzusteigen, die ihren Erfahrungen und Projektanforderungen am besten entspricht. Damit können sie bis dahin nicht gekannte Produktivität und Verifikationsqualität erzielen.”

Die 360 MV-Produktfamilie umfasst das bis dato breiteste Spektrum an Tools zur Anwendung der formalen Verifikation – von vollautomatischen RTL Checks bis hin zur GapFreeVerification™, die die höchstmögliche Verifikationsqualität sicherstellt. Jedes selbstständige Familienmitglied der Produktkette besitzt die Funktionalität und Vorteile der vorhergehenden Mitglieder zuzüglich neuer Funktionalität und Vorteile, mit denen zusätzliche Applikationsstufen ermöglicht werden.

Die integrierte 360 MV-Produktfamilie besteht aus den folgenden fünf aufeinander aufbauenden,
stufenweise mächtiger werdenden Mitgliedern:

• 360 MV Inspect™ für Autochecks – deckt RTL-Fehler auf, sobald der erste Code verfügbar ist, und reduziert somit nachfolgenden Debuggingaufwand. Es verifiziert in Minuten tausende von automatisch aus dem Code extrahierten Checks und erfordert keinerlei Erfahrung in der formalen Verifikation oder Kenntnisse in Assertions-Sprachen.

• 360 MV Check™ für das Verifizieren von Implementationsaspekten – Mit Hilfe von einfachen Assertions, die Mikro-Architektur- oder Implementationsaspekte beschreiben, finden Entwickler Implementationsfehler schon Wochen oder Monate vor der Verfügbarkeit von Testbenches. Dadurch verbessert sich die Ausgangsqualität des Designs für die nachfolgende gründliche funktionale Verifikation, und der anschließende Debugging-Aufwand wird reduziert.

• 360 MV Verify™ für die Verifikation funktionaler Anforderungen und Design-Operationen – findet komplexe Fehler sehr viel effizienter als herkömmliche Simulation oder andere formale Tools, und zwar mit der höchsten im Markt verfügbaren Kapazität und Leistung. 360 MV Verify ist auch der Einstiegspunkt für die Nutzung der einzigartigen, systematischen formalen Verifikation von Design-Operationen, die nur von OneSpin angeboten wird. Enthalten ist auch der neue Beweis-basierte Debugger, der die Ursache lokalisiert, warum eine komplexe SystemVerilog Assertions auf einem Design fehlschlägt. 360 MV Verify reduziert oder eliminiert sogar die Notwendigkeit von Modul/Subsystem-Testbenches, die auf hohe Abdeckung abzielen.

• 360 MV Assure™ für die Verifikation mit automatischer Lückenermittlung – erweitert die systematische Verifikation von Design-Operationen mit automatischer Identifizierung noch unverifizierter Eingangssignal-Szenarien, d.h. von Operationen, die bisher in der Verifikation übersehen wurden. Eine Debug- und Diagnose-Umgebung gibt dem Anwender Hilfestellung bei der Entwicklung zusätzlicher SystemVerilog-Assertions, um diese Verifikationslücken zu schliessen. Damit ermöglicht 360 MV Assure eine gründliche Spezifikations/Implementierungs-Co-Verifikation.

• 360 MV Certify™ für lückenlose, formale Verifikation – OneSpin‘s Flaggschiffprodukt bietet Verifikationsqualität, die kein anderer Verifikationsansatz heute zuverlässig liefern kann. Neben allen Funktionalitäten der vorhergehenden Produkte stellt es den Closed-Loop-Prozess von OneSpins GapFreeVerification™ zur Verfügung, der die Verifikationsplanung, die Verifikationsdurchführung und die automatische Lückenauffindung integriert, um die höchstmögliche Verifikationsqualität zu gewährleisten. 360 MV Certify leitet den Anwender durch die Entwicklung einer lückenlosen Menge von SystemVerilog-Assertions, um ein Spezifikations-konformes Referenzmodell der vollen Design-Funktionalität zu erstellen, und liefert die entsprechende Bestätigung, dass der RTL-Code mit diesem Referenzmodell funktional äquivalent ist.

Ausführliche Informationen zur OneSpin 360 MV Produktfamilie sind verfügbar unter:

www.onespin-solutions.com/orderdatasheet.php

Verfügbarkeit und Preise

Alle Produkte und Features sind ab sofort verfügbar.
Die Produkt-Listenpreise belaufen sich auf €16.500 für 360 MV Inspect, €59.400 für 360 MV Check,
€99.000 für 360 MV Verify, €115.500 für 360 MV Assure, und €148.500 für 360 MV Certify.

Über OneSpin Solutions
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.

www.onespin-solutions.com