VeronA: Verification of Analog Circuits

Printer-friendly version Send by email PDF version
VeronA Logo

The VeronA project creates a basis for an automated verification of analog circuits and systems. Its goal is to develop fundamental elements of an integrated verification methodology for integrated analog circuits, such that the analog parts of mixed-signal chips can be verified along with the digital part. Therefore, new methods and tools are developed which exploit formalized verification and target verification-oriented modeling. The following technical goals are in the focus of the project:

  • Development of methods and rules for the creation of models which are suitable for verification in different levels of abstraction, because they can be simulated quickly and also sufficiently describe many physical effects (e.g. mixed-discipline or temperature).
  • Investigation and development of formal verification methods for analog circuits, namely model checking and equivalence checking.
  • Development of methods for assertion-based verification, as well as of formal procedures for performance and tolerance verification.
  • Implementation of an integrated methodology for multilevel verification of analog systems considering mixed-signal/mixed-domain aspects and using the aforementioned points

Thereby, emphasis is laid on the suitability of the developed methods for industrial application. The project results will essentially improve efficiency and quality of verification, which will ultimately lead to qualitatively higher valued and more reliable electronic products.

Classification in the edaMatrix:

VeronA in the edaMatrix

Project coordination:

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

Project management:

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

Project partners:

Research partners:

Funding initial:

BMBF F&E 01M3079


June 01, 2006 - May 31, 2009


Project Information

Final Report
Project 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)

Used Abbreviations

PRProject Report
SPRShort Project Report
PNProject News
FPRFinal Project Report