VeronA: Verifikation analoger Schaltungen

Im Projekt VeronA wird eine Grundlage für die automatisierte Verifikation analoger Schaltungen und Systeme geschaffen. Dabei geht es im Wesentlichen darum, grundlegende Elemente einer durchgängigen Verifikationsmethodik integrierter analoger Schaltungen zu entwickeln, damit neben den Digitalteil auch die analogen Teile von Mixed-Signal-Chips verifiziert werden können. Dazu werden neue Methoden und Werkzeuge entwickelt, die formalisierte Verifikation instrumentalisiert und dabei auch auf verifikationsorientierte Modellierung abgezielt. Folgende technische Ziele stehen im Fokus des Projekts:

• Entwicklung von Methoden und Regeln zur Erzeugung schnell simulierbarer Modelle, die zudem ausreichend viele physikalische Effekte (u.a. mixed-discipline, z.B. Temperatur) gut genug beschreiben und damit für die Verifikation in unterschiedlichen Abstraktionsebenen geeignet sind.
• Untersuchung und Entwicklung formaler Verifikationsverfahren für analoge Schaltungen, namentlich Model-Checking und Equivalence-Checking.
• Entwicklung von Methoden zur assertion-basierten Verifikation, sowie von formalen Verfahren zur Eigenschafts- und Toleranzverifikation.
• Umsetzung einer durchgängigen Vorgehensweise für die Multi-Level Verifikation von analogen Systemen unter Berücksichtigung von Mixed-Signal-/Mixed-Domain-Aspekten und unter Verwendung der oben genannten Punkte.

Bei den Entwicklungen wird insbesondere die Eignung der Methoden und Werkzeuge für den industriellen Einsatz überprüft. Die zu erwartenden Projektergebnisse werden die Effizienz und Qualität der Verifikation wesentlich steigern, was letztlich zu qualitativ hochwertigeren Endgeräten bzw. Produkten führen wird.

Classification in the edaMatrix:

Verwendete Abkürzungen