In order to design systems efficiently, the correct and safe functioning of the entire system has to be ensured as early as possible in the design phase. In addition it is necessary to consider both, analog and digital system behavior. A particular challenge here is the efficient generation of not pure random inputs for the system using so-called constraints. Constraints allow to automatically generate a lot of application scenarios which can be tested. In the project, new methods are developed that allow the use of constraints in the context of the Universal Verification Methodolgy (UVM) to verify mixed analog-digital systems.
In the domain of automotive electronics (e.g. driver assistance systems, autonomous driving), industrial automation, medical technology and Internet-of-Things, a tremendous increase in the complexity of the overall system can be observed. In addition, these systems consist of both analog and digital components (Analog Mixed Signal, AMS). In the development of the next-generation AMS systems, Virtual Prototypes (VPs) are increasingly used. Essentially, a VP is a simulation model of the system to be created in form of a computer program. This model represents the starting point of the system development. However, the development time of a system is increasingly dominated by verification, i.e., to check whether the system behaves according to its specification.
Goal of the Project
DFKI is therefore researching and developing new automated verification methods based on Constrained Random Verification (CRV). These methods represent the state of the art for digital systems. The new methods allow the project partner COSEDA Technologies GmbH to extend the design environment COSIDE to a verification tool. The new verification methods are developed in accordance to the Universal Verification Methodology (UVM).
- COSEDA Technologies GmbH (Konsortialführer)