MÜNCHEN, Deutschland und SUNNYVALE, Kalif. – 18. Februar 2008 – Das auf formale Verifikationslösungen spezialisierte EDA-Unternehmen Onespin Solutions® GmbH stellt jetzt GapFreeVerification™ vor – einen zum Patent angemeldeten systematischen Verifikationsprozess, der die Verifikationsproduktivität entscheidend steigert und auf den mehrfach ausgezeichneten 360 Module Verifier (360 MV) des Unternehmens zugeschnitten ist. Der neue Prozess beschleunigt die lückenlose formale Verifikation komplexer Module und IP und gewährleistet systematisch höchste Designqualität – auf Anhieb fehlerfreie Funktionalität. Er führt den Benutzer durch eine Abfolge von wohldefinierten Benutzeraktivitäten und Tool-Anwendungen. Diese Abfolge transformiert das zu verifizierende Design (Design-Under-Verifikation = DUV) und seine informellen Spezifikationen systematisch in eine lückenlose formale Spezifikation und ein nachweislich äquivalentes DUV.
Faktisch eliminiert „GapFreeVerification“ einen der größten Produktivitätsvernichter heutiger Verifikationsmethoden: den enormen Aufwand für (1) Verifikations-Planung und –Review, (2) die Konstruktion komplexer Coverage-Modelle und (3) die Erfassung und Analyse umfangreicher Coverage-Informationen – alles aufwändige Aktivitäten, die die Verifikationsqualität verbessern sollen, aber letztendlich keine lückenlose Verifikation sicherstellen können.
Der neue Prozess hingegen leitet Anwender sicher durch die systematische Konstruktion eines funktionalen Referenzmodells aus formalen Eigenschaften (properties). Dieses Referenzmodell ist eine formale Spezifikation der gesamten erwarteten Funktionalität des DUV – vergleichbar mit den ausführbaren Referenzmodellen, die in der simulationsbasierten Verifikation verwendet werden. Mit Hilfe der Eigenschafts- und Vollständigkeitsprüfungsmöglichkeiten der 360 MV-Lösung von OneSpin wird das DUV formal auf vollständige Äquivalenz zum funktionalen Referenzmodell geprüft – und zwar mit der selben Gründlichkeit, mit der RTL- und Netzlisten-Modelle durch formales Äquivalenz-Checking verglichen werden. Dieser Ansatz gewährleistet eine lückenlose Verifikation und ein von Anfang an fehlerfrei funktionierendes DUV. Zudem lockern der neue Prozess sowie die verbesserten 360 MV-Werkzeuge die bekannten und typischen Einschränkungen anderer - primär auf reine Fehlersuche ausgelegter - formaler Verifikationswerkzeuge bezüglich Kapazität, Skalierfähigkeit und unerreichbaren Gegenbeispielen. Durch die Abschwächung dieser Limitierungen erweitert der GapFreeVerification-Prozess den Einsatzbereich systematischer, formaler Verifikation auf eine große Bandbreite komplexer Module und IP - Verifikationen, an denen andere formale Verifikationswerkzeuge scheitern.
Peter Feist, OneSpin’s Präsident und CEO, sagt: “Damit die funktionale Verifikation mit der wachsenden Designkomplexität skaliert, muss die Verifikationsproduktivität erheblich steigen. Wir haben jetzt unsere 360 MV-Lösung in einen hochproduktiven Verifikationsprozess integriert und damit einen wichtigen Meilenstein für unsere Kunden in Sachen Verifikationszeit- und Aufwandsreduzierung erreicht. Der GapFreeVerification-Prozess basiert auf der Erfahrung, die wir während der letzten zehn Jahre in Zusammenarbeit mit unseren Kunden bei der systematischen formalen Verifikation hochkomplexer Designs gesammelt haben. Der neue Prozess macht diese Erfahrung sowohl Neulingen als auch Experten der formalen Verifikation zugänglich und ermöglicht ihnen die lückenlose Verifikation mit vorhersagbaren Ergebnissen – höchste Qualität komplexer Module/IP bei gleichzeitig deutlich reduziertem Verifikationsaufwand.”
Preis und Verfügbarkeit
GapFreeVerification ist in der neuesten Version von 360 MV ohne Zusatzkosten enthalten und ab sofort verfügbar.
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. F
www.onespin-solutions.com
|
