AC-Analyse analoger Schaltungen mit affiner Arithmetik

Inhalt:
Der vorliegende Beitrag behandelt einen neuen Ansatz zur Verifikation analoger Schaltungen. Der Fokus liegt auf der Berücksichtigung linear korrelierter Parameterschwankungen für die Simulation im Frequenzbereich. Für die Beschreibung der Parameterschwankungen werden so genannte affine Formen verwendet, die als Grundlage für die Lösungen mittels affiner Arithmetik dienen. Die affine Arithmetik ber ücksichtigt im Gegensatz zur Intervallarithmetik lineare Informationen, die durch die Berechnungen propagiert werden. Erstmals wird eine AC-Simulation mit affiner Arithmetik beschrieben. Aus den Simulationsergebnissen werden affine Eigenschaftsgrößen abgeleitet, die als Grundlage für die verlässliche Modellierung auf höheren Abstraktionsebenen dienen.