Explore projects

Alliance/Coriolis Toolkit & Checker contain various design flow examples, blocks or full chips. It is also used as a regression test for all the tools.

Implementing deep reinforcement learning algorithms for the ICGA competition.

A blockgraph for mesh networks

The BoolEAN POLynomial Evaluation library

Control of accuracy and debugging for C/C++ applications relying on fixed-point arithmetic

Control of accuracy and debugging for CUDA applications

Control of accuracy and debugging for Fortran applications

Control of accuracy and debugging for Python applications

Automatic identification of instructions responsible for numerical instabilities in a source code