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 …
The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits …
The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the …