Heutige und zukünftige Anforderungen an die Betriebssicherheit, die Energieeffizienz und die Umweltverträglichkeit technischer Geräte und Einrichtungen sind nur mit Hilfe moderner elektronischer Regelungs- und Automatisierungstechnik zu erfüllen. Um technische Prozesse in Fahrzeugen, Maschinen, Gebäuden oder Versorgungsnetzen im Hinblick auf ihren Energie- und Ressourcenbedarf optimal regeln zu können, müssen ihre Betriebszustände mittels intelligenter Sensorik, Aktorik und Kommunikationstechnik schnell und präzise erfasst, übermittelt und beeinflusst werden können. Die Mikro- und Nanoelektronik spielt hierbei eine zentrale Rolle als Schlüsseltechnologie für die Entwicklung ökonomisch und ökologisch effizienter Systemlösungen.
Integrierte Schaltungen für Sensor-, Aktor- und Kommunikationssysteme sind geprägt durch besonders vielfältige Kombinationen verschiedenster Halbleiter-Fertigungstechnologien und Funktionsweisen ihrer Baugruppen. So finden sich in Systemen dieser Art oft umfangreiche Verknüpfungen von komplexen analogen und digitalen Funktionsblöcken mit Hochfrequenz- und Leistungselektronik-Komponenten. Eine stetig wachsende Herausforderung im Entwurfsprozess für solche Mixed-Signal-Systems-on-Chip (Mixed-Signal-SoC) besteht dabei in der Sicherstellung des korrekten Zusammenspiels der Systemkomponenten unter allen möglichen Betriebsbedingungen. Hierzu muss eine vorgegebene Testabdeckung (Coverage) aller Zustände des Gesamtsystems als Teil des Qualitätsmanagements im Entwurfsprozess garantiert werden können.
Das Projekt ANCONA befasst sich daher mit der Erforschung neuer Methoden zur ebenenübergreifenden Verifikation von Mixed-Signal-Schaltungen. Das Ziel ist, den Stand und Fortschritt der Mixed-Signal-Verifikation durch den effektiven, methodischen Einsatz von Spezifikations-, Modellierungs-, Simulations- und Verifikationsverfahren quantitativ messbar zu machen und damit die für den Industriestandort Deutschland wichtige Entwicklung von Mixed-Signal-SoC technologisch und ökonomisch beherrschbarer zu machen.
