Simulatorgestützte Verhaltensmodellierung nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation
Conference: ANALOG '06 - 9. ITG/GMM-Fachtagung
09/27/2006 - 09/29/2006 at Dresden, Germany
Proceedings: ANALOG '06
Pages: 6Language: germanTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
Freibothe, M.; Döge, J.; Coym, T.; Ludwig, S.; Straube, B. (Fraunhofer-Institut für Integrierte Schaltungen IIS, Außenstelle Entwurfsautomatisierung EAS, Zeunerstraße 38, 01069 Dresden)
Kock, E. (Infineon Technologies AG, 81726 München)
Abstract:
In dieser Arbeit wird ein Ansatz für die verifikationsgerechte Verhaltensmodellierung der analogen Komponenten von Mixed-Signal-Schaltungen vorgestellt. Ausgehend von einem elektrischen Netzwerk wird durch die Quantisierung der analogen Größen und die Verwendung eines Schaltungssimulators ein zeit- und wertediskretes Modell des Analogteils einer Mixed-Signal-Schaltung erstellt, in dem auch die dynamischen Einschwingvorgänge repräsentiert sind. Dieses Modell ersetzt in der Zusammenschaltung von Analog- und Digitalteil das durch das elektrische Netzwerk gegebene zeit- und wertekontinuierliche Analogmodell. Die auf diese Weise erstellte Repräsentation eines Mixed-Signal-Schaltungsentwurfs kann mit etablierten Methoden und Werkzeugen der formalen digitalen Verifikation verifiziert werden.