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.
COSEDA Technologies GmbH (Konsortialführer)