Freibothe, M.M.FreibotheDöge, J.J.DögeCoym, T.T.CoymLudwig, S.S.LudwigFordran, E.E.FordranStraube, B.B.StraubeKock, E.E.Kock2022-03-102022-03-102006https://publica.fraunhofer.de/handle/publica/351013In dieser Arbeit wird ein Ansatz für die verifikationsgerechte Modellierung des Verhaltens der analogen Komponenten von Mixed-Signal-Schaltungsentwürfen vorgestellet. Ausgehend von der Beschreibung des analogen Verhaltens in Form von Differentialgleichungen wird 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 Differentialgleichungssystem gegebene kontinuierliche Analogmodell. Die auf diese Weise erzeugte Repräsentation eines Mixed-Signal-Schaltungsentwurfs kann mit den bekannten Methoden der formalen digitalen Verifikation verifiziert werden.de621004conference paper