Vergleich von Netzwerken

In der Schaltungsverifikation kommt dem Vergleich von Netzwerken eine große Bedeutung zu. Ein solcher Vergleich ist immer dann vorzunehmen, wenn die Soll-Beschreibung einer Schaltung auf einer bestimmten Betrachtungsebene existiert und aus der nächstniedrigen Betrachtungsebene eine Ist-Beschreibung extrahiert wurde. Die Schaltungen bestehen in den Betrachtungsebenen Schaltkreisebene bis RT-Ebene aus Schaltungselementen und Knoten. Die Schaltungselemente sind in der Schaltkreisebene Transistoren, in der Logikebene Gatter und Flipflops und in der RT-Ebene Sprachprimitives und Funktionen oder Zellen. Diese Elemente besitzen Anschlüsse (Gate, Source, Drain, Gatter I/O und RT-I/O), die bestimmten Knoten (Terminals) zugeordnet sind. Hieraus folgt, daß für den Vergleich auf allen drei Ebenen das gleiche Verfahren angewendet werden kann, daß jedoch jeweils andere Typen von Elementen eingeführt werden müssen. Eine solche Vernetzung der Elemente läßt sich als Graph darstellen (Bild 7.1).