Projects

ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

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 …

VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, …

VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …

CONVERS – Design Automation Tool for Complex Electronic Systems

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 …

SELFIE – Self-Verification of Electronic Systems

The exponential growth of the complexity of electronic systems makes it increasingly diffult to prove their correctness (verification). Addressing …

MANIAC – BDD Manipulation for Approximate Computing

The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits …

SaferApps – Safe Execution of Foreign Application in an Enterprise Infrastructure

The project aims at the development and implementation of appropriate security policies and mechanisms that allow one to incrementally integrate …

MORES2 – Modelling and Refinement of Security Requirements on Data and Processes 2

MORES2 aims at the development of appropriate refinement techniques for workflow specifications. In particular, the notion of refinement to be …

SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the …

MORES – Modelling and Refinement of Security Requirements on Data and Processes

The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the …