Verlässliche Modellierung integrierter analoger Schaltungen durch stückweise affine Abbildungen

Abstract:
Im Bereich sicherheitskritischer Anwendungen, wie beispielsweise im Automobilbereich, darf der Einfluss von Prozessschwankungen auf das Verhalten von integrierten analogen Schaltungen nicht vernachlässigt werden. Dem damit verknüpften erhöhten Verifikationsaufwand kann nur mit einer erhöhten Abstraktion zur Steigerung der Simulationsgeschwindigkeit begegnet werden. Die bei der Vereinfachung entstehenden Abweichungen gegenüber dem detaillierten Modell müssen zusätzlich berücksichtigt werden. In der Vergangenheit hat sich das Verfahren der semi-symbolischen Simulation auf Netzlistenebene als für diesen Zweck besonders geeignet herausgestellt. Darauf aufbauend beschäftigt sich dieser Beitrag mit der Implementierung abstrakter High-Level-Modelle, die sich aus stückweise affinen Abbildungen zusammensetzen. Des Weiteren werden die zugehörigen Lösungsverfahren für die semi-symbolische Simulation und deren Implementierung vorgestellt.