Explore projects

The Trustable Software Framework (TSF) provides an extensible model for collecting, organising and evaluating evidence for releases of a software project or product, to allow a consumer to consider to what extent they should trust the software. Documentation: https://pages.eclipse.dev/eclipse/tsf/tsf/

Aidge bundle repository, which includes the main modules of the Aidge framework, plus the documentation and tutorials.

Aidge export to ASYGN Colibry NPU

Unified RISC-V Access Platform project repository

This is the CORE-V MCU project, hosting CORE-V's embedded-class cores.

The CORE-V CVE2 is a small 32 bit RISC-V CPU core (RV32IMC/EMC) with a two stage pipeline, based on the original zero-riscy work from ETH Zurich and Ibex work from lowRISC.

Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.

Functional verification project for the CORE-V family of RISC-V cores.