Eine der wesentlichen Herausforderungen beim Entwurf von Analog/Mixed-Signal-Systemen stellt ihre Verifikation dar. Verifikation bedeutet zu überprüfen, ob eine Implementierungsvariante die in der Spezifikation verlangten Eigenschaften unter definierten Umgebungsbedingungen einhält. Üblicherweise geschieht dies durch Simulation. Die erste Schwierigkeit dabei ist es, die Systemkomponenten so zu modellieren, dass zwar alle relevanten Eigenschaften abgebildet werden, aber Speicher- und Laufzeitbedarf der darauf angewendeten Verfahren beherrschbar bleiben. Eine weitere Herausforderung besteht darin, alle Parametervariationen, die bei der Herstellung und durch Alterung entstehen, sowie alle möglichen Ansteuerungen und Betriebsbedingungen möglichst vollständig zu berücksichtigen.

Das Ziel der am IMS erforschten Verfahren ist es, die Verifikationsabdeckung zu erhöhen, also die Vollständigkeit, mit der alle in der Realität vorkommenden Situationen berücksichtigt wurden. Während im Digitalentwurf formale, das heißt beweisende, Verfahren etabliert sind, konnten sie sich für Analog/Mixed-Signal-Systeme bisher noch nicht durchsetzen. Ein Forschungsziel liegt daher darauf, solche Verfahren weiterzuentwickeln und anwendbar zu machen. Die Arbeiten am IMS umfassen weiterhin die verlässliche und stochastische Modellierung und Simulation, Gebietsarithmetiken zur semi-symbolischen Simulation, beschleunigte Mixed-Signal-Simulation und die Unterstützung bei der Modellierung mit einstellbarer Genauigkeit.

Anwendungsfelder für die Methoden liegen in der Automobilelektronik, Medizintechnik, der Energie- und Hochtemperaturelektronik.