Mentor Graphics kooperiert mit Infineon beim Einsatz modernster Verifikationsmethoden

WILSONVILLE, Oregon/USA, 10. Dezember 2010 - Mentor Graphics hat Infineon erfolgreich bei der Optimierung der Leistungsfähigkeit und Effektivität ihres Verifikationsprozesses unterstützt. Dazu hat Mentor den Status quo ermittelt und gemeinsam mit Infineon verbesserte auf SystemVerilog- (SV) basierende Methoden eingeführt. Die Basis hierfür bilden die funktionalen Verifikationslösungen von Mentor. Eckpfeiler von Infineons neuer Verifikationsumgebung ist die funktionale Verifikations-Plattform Questa. Zusammen mit etablierten Methoden, verbessern die mit der Questa-Plattform verbundenen Technologien den Verifikationsprozess von Infineon. „Infineon stand vor der Herausforderung dafür zu sorgen, dass komplexe Designs, die mehrere Zeitzonen und verschiedene Teams umspannen, in einem engen Zeitplan abgeschlossen werden. Wir wussten im Voraus, dass wir das Beste aus jedem Verifikationszyklus herausholen mussten, um unser Ziel zu erreichen“, sagte Hartmut Hiller, Vice-President, Design Methodologies & Implementation bei Infineon. „Gemeinsam mit Mentor haben wir unsere Verifikationsumgebung weiter verbessert. Diese Umgebung erlaubt in jeder Phase des Prozesses die elektronische Zuordnung der Verifikationsanforderungen und verknüpft formale Ergebnisse, Low-Power-Resultate, Simulationsergebnisse und Coverage-Informationen in einer einzigen Datenbank.“ Diese einheitliche Datenbasis wurde zur automatischen Feststellung, ob der Abschluss erreicht wurde, innerhalb der Questa-Umgebung analysiert. Mentor arbeitete sowohl bei der Ermittlung des Status quo eng mit Infineon zusammen als auch bei der Identifizierung von Unterschieden, die im Vergleich zu Infineons Vorstellung von der gewünschten Verifikationsumgebung auf Basis von Industriestandards wie OVM und SystemVerilog bestehen. Anschließend lieferte Mentor Werkzeuge, Methoden und Know-how, die Infineon bei Erreichen seiner Vorstellung unterstützen. Die Ergebnisse werden bereits in Infineon-Designs angewandt. Verbesserung der funktionalen Verifikation Um die Arbeit zu erleichtern, unterstützte Mentor Infineon bei der Erstellung eines Dokuments über die Verifikations-Architektur, das die gesamte Strategie, Architektur und den Implementierungsansatz zum Aufbau der Verifikationsinfrastruktur beschreibt. Das Dokument zur Verifikationsstrategie erläutert die allgemeinen Methoden, Ebenen, Phasen, Komponenten, Bibliotheken, Skripte, Datenbanken, Werkzeuge und Entscheidungen, die während der Verifikation verwendet werden können. Mit dem vollständig dokumentierten Verifikationsplan haben die Teams ein klares Bild davon, wie für jede DUT- (Design Under Test) Schnittstelle wiederverwendbare Verifikationskomponenten aufgebaut werden, nicht-intrusive UPF-basierte, power-aware Logik innerhalb der Verifikationsumgebung integriert wird, automatisierte formale Technologie integriert wird, um die Prozesse zu vereinfachen, welche die Art der Fehler identifizieren, die mit formalen Techniken gefunden wurden, Verifikations-Metriken wie Assertion-Dichte, funktionale Abdeckung, Fehlerverfolgung, Test-Ranking, -Sortierung und -Zusammenfassung integriert werden, um nützliche Informationen über den Verifikationsstatus zu liefern und aufzuzeigen, wie ein realer Verifikationsprozess in Bezug auf die Effektivität eines jeden Tests überwacht werden kann, innerhalb einer OVM-Testbench über eine Kombination von Beschränkungen und OOP- (Object Oriented Programming) Erweiterungen eine Reihe von Sequenzen für Pseudo-Random-Testfälle aufgebaut werden kann, um Fehler zu finden und die Funktionalität des DUT vollständig zu verifizieren. Das Ergebnis Infineon hat in Zusammenarbeit mit Mentor seinen fortschrittlichen Verifikationsprozess weiter in Richtung State-of-the-Art-Prozess optimiert. Die Prozess-Struktur bietet für den gesamten Verifikationsprozess Transparenz und Vorhersagbarkeit und stärkt somit das Vertrauen in den Verifikationsstatus eines Designs. Der Prozess verspricht erhebliche Produktivitätsgewinne, da er sich zunächst auf den Bedarf konzentriert und dann die richtigen Werkzeuge für die Aufgabe auswählt. Dieser Ansatz ermöglicht auch die Wiederverwendung. Das Hinzufügen von Questas power-aware, automatisierter formaler Technologie deckt Probleme bezüglich der Leistungsaufnahme und selten auftretende Fälle sehr viel früher im Verifikationsprozess auf. „Unabhängig von der Unternehmensgröße, der Art des Designs oder des Endanwendermarktes, stehen Unternehmen bei der Verifizierung komplexer ICs vor wachsenden Herausforderungen bei der funktionalen Verifikation“, sagte John Lenyo, General-Manager der Design Verification and Technology Division von Mentor Graphics. „Der effektive Einsatz fortschrittlicher Verifikationswerkzeuge und –prozesse erfordert die Adressierung der steigenden Komplexitäten heutiger ASICs und SoC-Designs. Wir sind auf Partnerschaften mit Unternehmen wie Infineon stolz, bei denen die Zusammenarbeit zu einer effektiveren Verifikationslösung geführt hat, als jeder einzelne hätte implementieren können. Wir freuen uns auf die weitere Zusammenarbeit mit Infineon und werden sicherstellen, dass ihre Verifikationsumgebung weiterhin zu den Besten gehört, die die Industrie zu bieten hat.“ (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 über 800 Mio. 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