In close cooperation within the U Bremen Research Alliance (UBRA) and with other partners, the University of Bremen is establishing a data competence …
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 SAFE-10-T project will develop a Safety Framework to ensure high safety performance while allowing longer life-cycles for critical infrastructure …
The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits …