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

Mixed precision variant

Algorithms to solve boolean polynomial systems

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

Multivariate polynomial system solver

Control of accuracy and debugging for Fortran applications