Mentor Graphics ergänzt Questa-Plattform um Verifikationslösung für X-Werte

WILSONVILLE, Oregon/USA, 14. April 2014 – Mentor Graphics bietet eine neue Lösung für die Verifikation von X-Werten auf Register-Transfer-Level (RTL) und Gatterebene. X-Werte stehen für die in digitalen IC-Designs unbekannten Spannungspegel von Signalen. Die neueste Version der Verifikationsplattform Questa verbindet nun Fähigkeiten zur Simulation und formalen Verifikation zu einer kompletten Lösung für die Analyse und das Debuggen von X-Werten. IC-Designer können damit das Risiko von Silizium- und Simulationsfehlern verringern. Die neuen Fähigkeiten zielen sowohl auf die problematischen Auswirkungen von X-Werten, die zu Fehlern im Silizium führen können, als auch auf unnötigen Designaufwand: „X Optimismus“ und „X Pessimismus“. „Auch wenn das Bewusstsein für X-Probleme gut ist und Designer ihr Bestes geben, um den Kodierungsrichtlinien zu folgen und X-State-Fehler zu vermeiden, stehen wir immer noch vor der Herausforderung, alle X-bezogenen Siliziumfehler mit traditionellen Verifikationsmethoden zu beseitigen“, erläutert Meng-Han Hsieh, Director der Design Platform Division, MediaTek Inc. „Die Questa Verifikationslösung für X-Werte ist von unschätzbarem Wert für das Auffinden von X-Fehlern, die ansonsten nur schwer zu entdecken sind.“ “Innerhalb der Questa-Plattform kombinieren wir formale Verifikation und Simulation, um Resultate zu erzielen, die wir mit einer dieser Technologien allein nicht hätten erreichen können“, sagt John Lenyo, Vice-President und General-Manager, Design Verification Technology Division, Mentor Graphics. „Die neue Lösung zur Verifikation von X-Werten bringt diese komplementären Technologien zusammen, damit unsere Kunden die von X-States hervorgerufenen Silizium- und Simulationsfehler beheben können.“ Simulation von Silizium-Diskrepanzen Bei der Interpretation der X-Werte gibt es grundlegende Unterschiede zwischen RTL-Simulation und Synthese. Die Synthese interpretiert X als „ist egal“. Dies kann zu einer Siliziumschaltung führen, die sich anders verhält als die RTL-Simulation, bei der der X-Wert als „unbekannt“ interpretiert wird. Das einfache Eliminieren aller X-Werte aus der RTL-Simulation ist nicht ratsam, da in den heutigen großen Designs nicht alle Speicherelemente (Register) direkt zurückgesetzt werden können, insbesondere diejenigen in den Datenpfaden. Verifikation von „X Optimismus“ und „X Pessimismus“ mit Questa „X Optimismus“ birgt das größere Risiko. Dieser Effekt verursacht unbekannte Werte, die sich in der RTL-Simulation wie deterministisch bekannte Werte verhalten. Dies kann zu verborgenen Fehlern führen, da das Design nicht mit allen im Silizium enthalten Signalwerten simuliert wird. Die Verifikationsplattform Questa enthält nun einen Modus mit Silizium-genauer Semantik für die Verbreitung der X-Werte in der Simulation und formalen Verifikation. Dieser Modus beseitigt die Gefahr des „X Optimismus“, indem er es X-Werten erlaubt, sich auf Assertions oder Testbench-Checker auszudehnen, wo sie nachgewiesen werden können. Questas vollautomatische formale Lösung erkennt Speicherelemente, die korrekt initialisiert wurden, aber später von X-Werten in ihrer Fan-in-Logik beschädigt werden können. Zusätzlich beschleunigt wird das Debugging der X-Werte durch X-Trapping, das im Design die Quelle des „X Optimismus“ genau lokalisiert, und X-Tracing-Fähigkeiten, die beim Aufspüren der Quelle von unerwarteten X-Werten helfen. Der zweite X-Wert, der Sorge bereitet, ist „X Pessimismus“. Dieser Wert ist während der Simulation auf Gatterebene am problematischsten. Das wiederum führt dazu, dass Signalwerte als unbekannt erscheinen, obwohl sie im Silizium deterministisch bekannt sind. „X Pessimismus“ erfordert unnötigen Designaufwand und Überdimensionierung. Die Questa-Lösung beseitigt diese pessimistischen X-Werte, indem sie formal nachweisbare X-State-Signale identifiziert, die immer für bekannte, gute Logikwerte sorgen. Diese Logikwerte werden dann während der Simulation zur Initialisierung des Designs verwendet, was kostspielige Simulationsfehler verhindert. Verfügbarkeit und weitere Informationen Die neue Questa-Lösung ist ab sofort erhältlich. Weitere Produktinformationen gibt es auf der Website von Mentor Graphics unter: www.mentor.com/products/fv/questa-verification-platform. Die Verifikations-Plattform Questa Die Verifikations-Plattform Questa bietet eine umfassende SoC-Verifikationslösung mit einer Plattform, die moderne Verifikationsmethoden, hochleistungsfähige Simulation, intelligente Testbench-Automation, einheitliches Software/Hardware-Debugging, formale Verifikation, CDC, Low-Power, Analog/Mixed-Signal, VIP, eine zentrale einheitliche Datenbank und automatisierte Analyse-Tools sowie integrierte Flows mit ESL und Emulation beinhaltet. (Mentor Graphics und Questa sind eingetragene Warenzeichen der Mentor Graphics Corporation. Alle übrigen Unternehmens- oder Produktnamen sind eingetragene Warenzeichen oder Warenzeichen ihrer jeweiligen Besitzer.)

Über Mentor Graphics Mentor Graphics Corporation (Nasdaq: MENT) gehört zu den weltweit führenden Unternehmen, die Software- und Hardwarelösungen für die Entwicklung elektronischer Schaltungen anbieten. Zu Mentors Portfolio gehören Produkte, Beratungs- und Supportdienstleistungen, auf die die weltweit erfolgreichsten Elektronik- und Halbleiterhersteller vertrauen und dies mit der Verleihung zahlreicher Auszeichnungen an Mentor zum Ausdruck gebracht haben. Das 1981 gegründete Unternehmen erzielte in den zurückliegenden zwölf Monaten einen Gesamtumsatz von ca. 1,15 Mrd. US-Dollar. Der Hauptsitz von Mentor Corporate befindet sich den USA, 8005 S.W. Boeckman Road, Wilsonville, Oregon 97070-7777. Weitere Informationen unter: www.mentor.com