Project

AUTOASSERT

Simulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems

Simulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems

  • Duration:

Microelectronic hardware and software systems are the key component for the majority of innovations in current and future systems. The verification, i.e. the proof of the correct functionality of the designed system becomes the bottleneck in the design process with increasing complexity. One method to reduce the effort by orders of magnitude is to start verification at a higher level of abstraction. The goal of the AUTOASSERT project is to verify simulation results automatically. For this purpose, the concept of assertions, which already exists for the verification of digital time-discrete hardware components on implementation level, will be extended for continuous-time and analog hardware as well as software to enable an efficient description and automatic verification on system level.

Partners

COSEDA Technologies GmbH (Konsortialführer)

Sponsors

Federal Ministry of Education and Research (BMBF)

Federal Ministry of Education and Research (BMBF)

Share project:

Contact Person

Keyfacts

Publications about the project

Muhammad Hassan, Daniel Große, Rolf Drechsler

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021) February 1-5 virtual 2021.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz