Analog-Coverage in der Nanoelektronik (ANCONA)

Das Projekt (ANCONA) ist ein Projekt im Rahmen der IKT 2020 gefördert durch das Bundesministerium für Bildung und Forschung (BMBF), Förderkennzeichen 16ES0215 und ein Industriekonsortium.

Das Projekt ANCONA befasst sich mit neuen Methoden zur ebenenübergreifenden Verifikation von Mixed-Signal/RF- und Smart-Power-SoC. Das Ziel von ANCONA ist, den Stand und Fortschritt der Mixed-Signal-Verifikation durch den effektiven, methodischen Ein-satz von Spezifikations-, Modellierungs-, Simulations- und Verifikationsverfahren quantitativ messbar zu machen, d.h. Coverage-Maße zu erforschen. Neben einer signifikanten Steigerung der Simulationsperformance ist dafür u.a. eine Testfall-angepasste Modellierung und Abstraktion erforderlich. Diese macht zum einen die AMS-Komplexität beherrschbar und quantifizierbar. Zum anderen ermöglicht sie die frühzeitige Untersuchung der Wechselwirkungen der Subsysteme – z.B. über Crosstalk oder gemeinsame Spannungsversorgung – die auf Komponentenebene entstehen, aber erst auf Systemebene Auswirkung zeigen. MS-SoC bilden eine zentrale Komponente für die immer wichtiger werdende Entwicklung von „Cyber-Physical Systems“.

Die Universität Frankfurt erforscht zum einen Methoden zur zustandsraumbasierten Coverage-Untersuchung und Coverage -Verbesserung, u.a. auf Basis von Gegenbeispielerzeugungen.

Zum anderen stehen Äquivalenzvergleichsmethoden zur Absicherung des Verhaltens zwischen Abstraktionsebenen im Focus.