Das auf formale Verifikationslösungen spezialisierte EDA-Unternehmen OneSpin Solutions® GmbH kündigt heute die erste auf SystemVerilog Assertions (SVA) anwendbare lückenlose Verifikationslösung an. Die neue Software ist ein technologischer Durchbruch für Verifikationswerkzeuge, die standardisierte Eigenschaftssprachen verwenden. Sie beinhaltet eine wegweisende neue SVA TIming Diagram Assertion Library – kurz TIDALTM, die es Benutzern ermöglicht, auf einfachem Wege Timing-Diagramme in SVA-Eigenschaften umzusetzen.

Timing-Diagramme werden häufig angewendet, um auf Modulebene Operationen und Verhalten zu spezifizieren. Benutzer des 360 Module Verifier (360 MV) von Onespin können damit auch deren GapFreeVerificationTM Prozess mit SVA einsetzen und dadurch den Verifikationsaufwand bei gleichzeitiger Gewähr höchstmöglicher Qualität reduzieren. OneSpin zeigt die Fähigkeiten der neuen Verifikationslösung auf der Design Automation Conference, Booth #625, die vom 9. bis 12. Juni in Anaheim, Kalifornien/USA stattfindet. Danach sind ab Ende Juni die SVA-basierte GapFreeVerification™ und TIDALTM ohne Zusatzkosten in der Version 5.0 von 360 MV erhältlich.

Bisher unterstützte 360 MV vollautomatische RTL-Überprüfungen und die Verifikation von implementationsnahen SVA-Zusicherungen sowie in SVA geschriebenen funktionalen Anforderungen. Die neuesten Innovationen machen 360 MV und den GapFreeVerification™ Prozess zur derzeit umfassendsten formalen SVA-Verifikationslösung. Diese Lösung reduziert den Verifikationsaufwand im Vergleich zu Testansätzen, die auf hohe Qualität abzielen, um bis zu 80% und ist auf Designs mit einer Größe von weit über 100.000 Zeilen RTL-Code anwendbar. 360 MV verfügt damit über die höchste Kapazität unter allen in der EDA-Industrie derzeit verfügbaren formalen Verifikationslösungen.

Die neue, auf SVA anwendbare Version des GapFreeVerification-Prozesses ist der erste in sich geschlossene SVA-basierte Verifikationsprozess. Durch das automatische Auffinden von Verifikationslücken werden sowohl nicht verifizierte RTL-Funktionalität als auch Lücken oder Fehler in der Spezifikation aufgedeckt, so dass sich Verifikationsplanung und Eigenschaftenerstellung erheblich vereinfachen. Es werden außerdem keine Abdeckungsmodelle (coverage) mehr benötigt, und es entfallen die Sammlung und die zeitaufwändige Analyse von Abdeckungsdaten, um die erreichte Verifikationsqualität zu bestimmen. Mit dem automatischen Auffinden von Verifikationslücken durch 360 MV werden erstmals die Verifikationsplanung, die Ausführung der Verifikation und die Analyse der Verifikationsqualität in einem geschlossenen Prozess zusammengeführt, um gleichzeitig die Produktivität und Qualität der Verifikation signifikant zu erhöhen.

TIDAL unterstützt den intuitiven Operations-basierten Verifikationsansatz von 360 MV. Benutzer können Timing-Diagramme, die das erwartete Verhalten von Operationen auf Modulebene beschreiben, direkt in entsprechende SVA-Eigenschaften umsetzen. Anschließend können Benutzer durch die Verwendung der automatischen Lückenauffindung systematisch die Qualität des Eigenschaftssatzes untersuchen. Die TIDAL-Sprachelemente, die im standardisierten SVA-Sprachumfang implementiert sind, erlauben es Anwendern, das gewohnte Konzept der Timing-Diagramme in der formalen Verifikation einzusetzen, wodurch der GapFreeVerification-Prozess sowohl für Neulinge als auch erfahrene Anwender der Formalen Verifikation leicht erlernbar und einsetzbar ist.

Peter Feist, OneSpin’s Präsident und CEO, sagt: “Unsere Kunden verlangten einen Verifikationsprozess, der die automatische Lückenauffindung für standardisierte SystemVerilog Assertions ermöglicht. Durch die Kombination aus TIDAL-Bibliothek, 360 MV mit Unterstützung von SVA und dem GapFreeVerification-Prozess bieten wir nun die industrieweit einzige lückenlose SVA-Verifikationslösung an. Sie setzt neue Maßstäbe in der Produktivität, Anwendbarkeit und Kapazität formaler Verifikationswerkzeuge, und sichert gleichzeitig die höchstmögliche Verifikationsqualität.“

Ü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

info@onespin-solutions.com