Der neue RootCauseAnalyzer™ der 360 MV Produktfamilie erleichtert und
beschleunigt die Fehleranalyse in Assertions und Designs bis um den Faktor 10

Das auf umfassende formale Verifikationslösungen spezialisierte EDA-Unternehmen OneSpin Solutions^® GmbH kündigt heute seinen neuen RootCauseAnalyzer™ an. Diese automatische Fehleranalysetechnologie erleichtert und beschleunigt die Fehlersuche in SystemVerilog-Zusicherungen (Assertions) und RTL-Designs bis um den Faktor 10 und erhöht damit die Produktivität der formalen ABV (Assertion-Based Verification). Der RootCauseAnalyzer™ ist ein integraler Bestandteil der 360™ MV-Lösung und bietet die leistungsstärkste automatische Fehleranalyse, die heute in der formalen ABV verfügbar ist. Er automatisiert einen Großteil der sonst erforderlichen, zeitintensiven manuellen Analyse, um die eigentliche Ursache zu finden, warum eine Zusicherung bei der funktionalen Verifikation eines RTL-Designs fehlgeschlagen ist. Der RootCauseAnalyzer™ besteht aus vier eng miteinander verknüpften Analysekomponenten. Diese bilden einen branchenweit einmaligen Analyseablauf, der es ermöglicht, hochautomatisiert die Ursache für fehlgeschlagene Zusicherungen zu ermitteln. Ursachen können Fehler in den Zusicherungen, Fehler im RTL-Quellcode oder fehlende Einschränkungen (Constraints) sein.

Der RootCauseAnalyzer™ besteht aus den folgenden Komponenten:
• Der WaveformAnalyzer erzeugt Diagnoseinformationen, um die Untersuchung von Gegenbeispielen zu beschleunigen, die das Fehlschlagen einer Zusicherung bewirken.
• Der StructuralAssertionAnalyzer ist ein automatischer SVA-Code-Debugger, der die fehlschlagenden Teile einer Zusicherung präzise lokalisiert. Er zeigt somit dem Benutzer an, welche Teile für die weitere Fehleranalyse relevant sind und identifiziert alle zum Fehler beitragenden Signale und Taktzyklen. Außerdem erzeugt er für alle relevanten Taktzyklen Werteannotationen für alle Teile der Zusicherung - einschließlich der Objekte in referenzierten Sequenzen und Eigenschaften (Properties). Dadurch ermöglicht er erstmalig eine effiziente Fehleranalyse in Zusicherungen, die zur verbesserten Lesbarkeit und Wiederverwendbarkeit hierarchisch mittels Sequenzen und Eigenschaften beschrieben sind. Solche hierarchischen SVA-Zusicherungen verursachen ohne diese Automatisierung sehr hohe manuelle Aufwände bei der Fehlersuche.
• Der TemporalFaninAnalyzer automatisiert die Rückverfolgung kritischer Signale in der Zusicherung auf für die Fehlersuche relevante Signale im Design. Dadurch lassen sich Signalabhängigkeiten über Taktzyklen und Modulgrenzen hinweg automatisch untersuchen.
• Der ActiveCodeAnalyzer kennzeichnet dann die Bereiche im RTL-Quellcode, die für das Fehlschlagen der Zusicherung verantwortlich sind und automatisiert die Identifikation dieser Quellcodebereiche über die entsprechenden Taktzyklen hinweg. Die Fehlersuche im RTL-Quellcode wird dadurch wesentlich zielgerichteter und somit beschleunigt.

Peter Feist, OneSpins Präsident und CEO, sagt:
„Die Suche nach Fehlern in Zusicherungen und Designs verschlingt zwischen 30 und 40 Prozent des gesamten Aufwandes in der funktionalen Verifikation. Mit dem RootCauseAnalyzer können Ingenieure nun alle Sprachmittel von SVA ausnutzen, um zunehmend komplexere Designanforderungen effizient zu verifizieren. Dies ermöglicht signifikante Produktivitätssteigerungen und Qualitätsverbesserungen, beispielsweise beim Erfassen und Verifizieren von komplexen Design-Eigenschaften, -Operationen und -Transaktionen. Hochentwickelte Fehleranalysetechnologie ist der Schlüssel zu diesen Fortschritten.“

OneSpin zeigt den RootCauseAnalyzer™ auf der diesjährigen Design Automation Conference (DAC) in San Francisco (27. bis 30. Juli 2009). Zeitgleich bietet OneSpin zwei Seminare an, eines speziell für ABV-Einsteiger, das andere für fortgeschrittene Anwender. Des weiteren ist OneSpin Teilnehmer an der DAC Special Session „The tool shows that my design is wrong – but where is the bug?“.

Verfügbarkeit

Der RootCauseAnalyzer™ ist mit dem in diesem Monat freigegebenen 360™ MV-Release verfügbar.

Über 360 MV
Die 360™ MV-Produktfamilie ist die umfassendste formale ABV-Lösung, die derzeit auf dem Markt verfügbar ist. Sie beschleunigt eine Vielzahl von Aufgaben der RTL-Verifikation und Analyse und deckt das gesamte Spektrum der formalen ABV-Applikationen ab -. von der frühen automatischen RTL-Analyse bis hin zur lückenlosen Verifikation ( GapFreeVerification™) mit SVA. Einsteiger können Schritt für Schritt die Anwendung erlernen und sind in wenigen Tagen produktiv. 360™ MV beschleunigt eine Vielzahl von Verifikationsaufgaben im Vergleich zur Simulation um bis zu Faktor 10.

Über OneSpin Solutions
Die EDA-Firma OneSpin Solutions bietet innovative und hochleistungsfähige formale Verifikationslösungen, die die funktionale Verifikation komplexer digitaler ASIC und FPGA Designs vereinfachen und beschleunigen. Marktführende Unternehmen der Telekommunikations-, Automobil-, Consumer-Elektronik- und Embedded-Systeme-Branche verlassen sich auf die prämierten Produkte von OneSpin, um bestmögliche Verifikationsqualität bei gleichzeitiger Reduzierung des Verifikationsaufwands zu erzielen.

www.onespin-solutions.com