Incisive Enterprise Lösung

Das Paket kombiniert die besten Simulationswerkzeuge mit den gängigen Simulationssprachen, Simulationsbeschleunigung und mitgelieferten Methodikkonzepten. Die ganze Konzeption ist optimal auf den Bedarf von Design Teams abgestimmt, die in spezialisierte Gruppen von Ingenieuren aufgeteilt sind. Jede Gruppe erhält dabei ihre maßgeschneiderten Verifikationsumgebung: RTL Designer, Verifikationsingenieure, Systemspezialisten, Softwareingenieure und Projektmanager.

Die Incisive® Design Team Lösung basiert auf folgenden Produkten:

• Incisive Enterprise Specman Simulator
• Incisive Enterprise Scenario Builder
• Incisive Enterprise Manager
• Incisive Palladium Hardware

Das Kernstück der Produktfamilie ist der Incisive Enterprise Specman Simulator mit seiner "Single-Kernel" Architektur, von der Modelle und Testumgebungen in den Sprachen Verilog® SystemVerilog, VHDL SystemC®, PSL, und OVL gleichermaßen unterstützt werden. Ein „Direct Kernel Interface" zur Sprache "e" erlaubt es, e-basierende Testbenches sehr schnell zu simulieren. HDL-Analyse, ein integriertes „Code Coverage"-Werkzeug und ein leistungsfähiger interaktiver Debugger vervollständigen das Produkt.

Der Incisive Enterprise Manager ist wichtig für eine zielgerichtete Methodik und führt das gesamte Team durch den Verifikationsprozess ab der ersten Insertion und der Testplanung bis hin zur Fehleranalyse und dem Abschluß der RTL-Phase. Er sammelt und analysiert die Daten für die Testabdeckung aus allen Werkzeugen des Pakets und hilft die entdeckten Fehler zu analysieren und daraus den besten Weg zu ihrer Beseitigung abzuleiten. Zusätzlich werden automatisch Metriken generiert, die dem Projektleiter nützliche Hinweise zur optimalen Planung seiner Resourcen liefern. Das gesamte Team profitiert von einen schnellern und planbareren Verifikationsprozess.

Verifikationstiefe und Produktivität können zusätzlich noch mit „Formaler Analyse" und wieder verwendbarer Verifikations-IP gesteigert werden. Die Produkte, die diese zusätzliche Funktionalität ermöglichen sind der: Incisive Formal Verifier und die Incisive Verification IP (VIP) Bibliothek.

Die Vorteile auf einen Blick:

• Die metrik-basierende Methodik verbessert die Kontrolle des Projektablaufs und hilft zu vermeiden, dass spät entdeckte Fehler den Projektplan gefährden
• Die Verifikationsumgebung ist voll integriert und multi-language-fähig, bietet aber durch spezialisierte "Views", jedem Teammitglied maximale Effizienz
• Die „Single-kernel multi-language" Architektur bietet höchsten Leistungsdurchsatz und bezieht e-basierende Testbenches mit ein.