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 …