Explore projects

Control of accuracy and debugging for C/C++ and Fortran applications

Uniform precision variant

Mixed precision variant

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

Control of accuracy and debugging for Python applications

Control of accuracy and debugging for CUDA applications

RankMerging version in C++ as coded by Dan Timsit in 2024.

Static Timing Analyser

Coriolis VLSI CAD Tools