VeronA: Verifikation analoger Schaltungen

Druckversion Per E-Mail senden PDF-Version
VeronA Logo

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:

VeronA in the edaMatrix

Projektkoordination:

Robert Bosch GmbH
Dipl.-Ing. Peter Jores
fon: +49 7121 35-2982
peter [dot] joresatde [dot] bosch [dot] com

Projektmanagement:

edacentrum GmbH
Dipl.-Ing. Ralf Popp
fon: +49 511 9368 7464
poppatedacentrum [dot] de

Projektpartner:

Forschungspartner:

Förderkennzeichen:

BMBF F&E 01M3079

Laufzeit:

01.06.2006 - 31.05.2009

Webseite:

https://www.edacentrum.de/verona/

Projekt-Informationen

Schlussbericht
Projekt-Flyer (EN)
NL 02 2009 (PN)
NL 02 2009 (PN)
NL 01 2009 (PN)
NL 04 2008 (PN)
NL 02 2008 (PN)
NL 02 2008 (PB)
NL 01 2008 (PN)
NL 01 2008 (PN)
NL 04 2007 (PN)
NL 03 2007 (PN)
NL 02 2007 (PN)
NL 01 2007 (PN)
NL 04 2006 (PN)
NL 03 2006 (PKB)
NL 03 2006 (PN)

Verwendete Abkürzungen

AbkürzungBedeutung
PBProjektbericht
PKBProjektkurzbericht
PNProjektnachricht
PSBProjektschlussbericht