Explore projects

Coriolis VLSI CAD Tools

Alliance VLSI EDA. A complete set of GPL tools to design an ASIC.

Additional commands and libraries for inrimage distribution

Static Timing Analyser

Algorithms to solve boolean polynomial systems

Control of accuracy and debugging for Fortran applications

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

Mixed precision variant

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