The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …
Within the framework of the research project "AI-supported assistant for interior development" (KAI), a development tool is to be created that uses AI …
HorME creates an abstract programming model that is supported by a corresponding execution environment. This allows complex tasks and their execution …