Ein integriertes Programmsystem zur strukturellen Verifikation mikroelektronischer Schaltungsentwürfe

Die Komplexität mikroelektronischer Schaltungen ist in den letzten Jahren stark angewachsen. Mit zunehmender Schwierigkeit der Designaufgabe hat die Notwendigkeit einer gründlichen Verifikation der Entwürfe an Gewicht gewonnen. Diese Prüfung der Funktionstüchtigkeit eines Schaltungsentwurfs kann auf zwei Wegen durchgeführt werden: durch Prüfung der Struktur und der Funktion. Folgende Methoden werden üblicherweise bei der Verifikation der Struktur angewendet: die Kontrolle von Regeln, denen die Schaltung gehorchen soll, und der Strukturvergleich mit einer Referenzschaltung. Die Verifikation der Funktion könnte beispielsweise durch eine Logiksimulation erfolgen. Die vorliegende Arbeit widmet sich der strukturellen Verifikation mikroelektronischer Schaltungsentwürfe. Neben dem Instrumentarium von Schaltungsanalysen und -vergleich wurde außerdem die Kopplung von Informationen, die in verschiedenen Repräsentationen einer Schaltung gewonnen wurden, untersucht.