Mentor Graphics Verifikationsplattform Questa sorgt für breiten Einsatz formaler Verifikation

WILSONVILLE, Oregon/USA, 24. Oktober 2012 – Mentor Graphics erweitert seine Verifikationsplattform Questa um neue formal-basierte Technologien, mit denen Anwender umfassende formale Verifikationsanalysen leichter durchführen können. Dazu gehören die neue Questa-AutoCheck-Technologie zur vollständig automatisierten formalen Überprüfung und das Questa-CoverCheck-Tool für 100-prozentige Code-Coverage-Closure. Zudem bietet die Verifikationsplattform erweiterte CDC- (Clock-Domain Crossing) Funktionen. Formale Verifikation unterstützt gründliche Funktionsanalysen für alle möglichen Designverhalten, ohne dafür Teststimuli spezifizieren zu müssen. Damit lässt sich bereits früh im Designzyklus eine Verifikation durchführen, noch bevor eine Simulations-Testbench erstellt wurde. In der Vergangenheit konnten formale Verifikationen nur Verifikationsteams mit Experten für formale Analyse realisieren und diese mussten dafür einen hohen Aufwand betreiben. Die Questa-Plattform ändert all dies, da sie eine breite Palette formaler Applikationen bereit stellt. Diese reichen von vollständig automatisierter formaler Überprüfung mit AutoCheck, einer einfachen Technologie, die jeder problemlos nutzen kann, bis zur Eigenschaftsprüfung mit benutzerspezifisch codierten Assertions für fortschrittliche Anwender. Die Questa-Plattform enthält nun verschiedene Verifikationslösungen, die Simulations- und formal-basierte Technologien mit gängigen Kompilierungs- und Anwenderschnittstellen-Funktionen sowie einer Unified Coverage Database (UCDB) verbinden. Verfügbarkeit Questa CoverCheck, Questa CDC und Questa Formal sind ab sofort verfügbar. Weitere Informationen über die neuen Technologien gibt es unter: http://www.mentor.com/products/fv. (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.015 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