VeronA

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.

, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html