Formale Assertion-Based-Verification

Neue 360-MV-Produktfamilie von OneSpin macht formale Assertion-Based-Verification breitem Anwenderkreis zugänglich

09.02.2009 | Redakteur: Gerd Kucera

Die abgestufte Verifikationslösung 360 MV macht die formale ABV für SoC-, ASIC- und FPGA-Designs massentauglich und erlaubt insbesondere ABV-Neulingen den sicheren Einstieg in diese sehr produktive Technologie

Entsprechend den Projektanforderungen und Erfahrungen der Verifikations-Ingenieure bietet die neue, gestaffelte OneSpin-360-MV-Produktfamilie freie Wahl an Ein- und Ausstiegsmöglichkeiten bei der formalen ABV (Assertion-Based Verification). Und die neue Diagnosetechnologie reduziert den Debugging-Aufwand für komplexe SystemVerilog-Assertions.

Dass Spitzentechnologie für das Chip-Design nicht zwangsläufig aus den USA kommen muss, beweist einmal mehr die Münchener OneSpin Solutions, ein auf formale Verifikationslösungen spezialisiertes EDA-Unternehmen. Mit ihrer aktuellen Produktfamilie 360 MV ist ab sofort eine schrittweise und abgestufte Lösung verfügbar, die formale ABV (Assertion-Based-Verification) für SoC-, ASIC- und FPGA-Designs massentauglich macht und insbesondere auch ABV-Neulingen den Einstieg in diese sehr produktive Technologie erlaubt.

Neuer Ansatz mit fünf interoperablen Produktmodulen

Der neue Ansatz basiert auf fünf interoperablen Produkten der neuen OneSpin-360-MV-Familie (Bild 1), die für Einsteiger, erfahrene Anwender und Experten der formalen Verifikation gleichermaßen entwickelt wurde.

Schrittweiser Zugang zu umfassender formaler ABV

Schrittweiser Zugang zu umfassender formaler ABV

Drei Stufen kennt die standardmäßige formale ABV (Assertion-Based Verification). Im neuen Lösungsansatz erweitert das ABV-Tool 360 MV von OneSpin diese um drei zusätzliche auf sechs Stufen. Diese hocheffizienten ABV-Methoden, die auf der systematischen Verifikation von Design-Operationen und automatischer Erkennung von Verifikationslücken basieren, sind derzeit einzigartig. Weiterer besonderer Nutzen der in fünf Stufen gestaffelten Lösung ist, dass nicht länger ausschließlich kleine Expertengruppen die Vorteile der formalen ABV ausschöpfen können, sondern ab sofort die breite Masse der Entwickler. Und dazu ist kein besonderes Spezialwissen nötig; der Einstieg in die Technologie erfolgt auf genau der Verifikationsstufe, die dem Projekt und Erfahrungsschatz des Anwenders am besten entspricht.

Die Produktfamilie unterstützt sechs aufeinander aufbauende Anwendungsstufen (Bild 2) der formalen Verifikation, die sich den jeweiligen Verifikationsanforderungen der Unternehmen optimal anpassen und laut Dr. Michael Siegel, Produkt Marketing Direktor bei OneSpin, ein produktives Arbeiten bereits innerhalb weniger Tage ermöglichen.

Kommentar zu diesem Artikel abgeben

Schreiben Sie uns hier Ihre Meinung ...
(nicht registrierter User)

Spamschutz 

Bitte geben Sie das Resultat dieser Rechenaufgabe (Addition) ein:

Kommentar abschicken

Dieser Beitrag ist urheberrechtlich geschützt. Sie wollen ihn für Ihre Zwecke verwenden? Infos finden Sie unter www.mycontentfactory.de (ID: 287369)