Verifikation des Power-Down-Modus von analogen Schaltungen

Abstract:
In diesem Beitrag wird eine Verifikationsmethode für den Power-Down-Modus von Analogschaltungen vorgestellt. Die Basis für die Verifikation bildet eine strukturbasierte Knotenanalyse, die Schätzwerte für die Knotenspannungen im Power-Down-Modus berechnet und Knoten mit undefiniertem Potential erkennt. Da die Knotenanalyse rein strukturbasiert ist, wird keine numerische Simulation benötigt. Dies stellt einen entscheidenden Vorteil dar, da die zur numerischen Simulation benötigten Modelle im Power-Down-Modus häufig nicht verlässlich sind. Die Knotenanalyse wird mit Hilfe von Graphen mathematisch präzise beschrieben. Die Laufzeitkomplexität des Knotenanalysealgorithmus ist quadratisch. Die experimentellen Ergebnisse zeigen die Effektivität und Effizienz des Verfahrens.