Verification

  • Verifikation und Test
  • Der Sandy-Bridge-Bug
  • Das Verifikationsproblem
  • Verifikationswerkzeuge
  • Verifikationsstrategie: Beispiel
Startseite
Verifikationsstrategien: Beispiel RT-Ebene Simulation Analyseschritt Gatter-Ebene RT-Synthese Syntheseschritt  Equivalence-Checking StatischeTiming-Analyse Simulation Re-Synthesenach Platzierung Gatter-Ebene Equivalence-Checking Optimierung nachVerdrahtung Gatter-Ebene   Equivalence-Checking Testmuster-Generierung

Verifikationswerkzeuge werden im Entwurfsablauf sehr häufig und auf allen Ebenen eingesetzt. Abschätzungen besagen, dass bei komplexen Schaltungen etwa 70 % der gesamten Entwurfszeit für die Verifikation aufgewendet werden müssen.

Das Bild zeigt beispielhaft wie bei der Bearbeitung einer Schaltung auf der RT- und der Gatterebene verschiedene Verifikationswerkzeuge zum Einsatz kommen.